diff options
Diffstat (limited to 'server/src/problem.cppm')
| -rw-r--r-- | server/src/problem.cppm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/server/src/problem.cppm b/server/src/problem.cppm index a72379a..37e6257 100644 --- a/server/src/problem.cppm +++ b/server/src/problem.cppm | |||
| @@ -41,8 +41,8 @@ export struct details | |||
| 41 | }; | 41 | }; |
| 42 | 42 | ||
| 43 | export auto tag_invoke( | 43 | export auto tag_invoke( |
| 44 | json::value_from_tag, json::value& jv, details const& details, | 44 | json::value_from_tag, json::value& jv, details const& details, |
| 45 | std::locale locale) -> void | 45 | std::locale locale) -> void |
| 46 | { | 46 | { |
| 47 | auto obj = json::object{ | 47 | auto obj = json::object{ |
| 48 | {"type", details.type_uri}, | 48 | {"type", details.type_uri}, |