fix mosml

HOL-Theorem-Prover · Nov 15, 2024 · 833b239 · 833b239
1 parent 9d5ab3c
commit 833b239
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/prekernel/Feedback.sml b/src/prekernel/Feedback.sml
@@ -36,13 +36,15 @@ fun mk_HOL_ERRloc s1 s2 locn s3 =
             source_location = locn,
             message = s3}
 
-fun set_origin_function fnm {origin_structure, source_location, message, ...} =
+fun set_origin_function fnm
+    ({origin_structure, source_location, message, ...}:error_record) =
    {origin_structure = origin_structure,
     source_location = source_location,
     origin_function = fnm,
     message = message}
 
-fun set_message msg {origin_structure, source_location, origin_function, ...} =
+fun set_message msg
+    ({origin_structure, source_location, origin_function, ...}:error_record) =
    {origin_structure = origin_structure,
     source_location = source_location,
     origin_function = origin_function,