add labeled arguments in call of expand_enabled_cdot to avoid warning…

… in ocaml 4.13
tlaplus · Aug 5, 2022 · ee56b3d · ee56b3d
1 parent c758c25
commit ee56b3d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/backend/prep.ml b/src/backend/prep.ml
@@ -983,10 +983,10 @@ let normalize_expand ob fpout thyout record
     let ob = normalize_expr ob in
     try
         let ob = expand_enabled_cdot
-            ob expand_enabled expand_cdot autouse
-            apply_lambdify enabled_axioms enabled_rewrites
-            enabled_rules level_comparison
-            used_identifiers in
+            ob ~expand_enabled ~expand_cdot ~autouse
+            ~apply_lambdify ~enabled_axioms ~enabled_rewrites
+            ~enabled_rules ~level_comparison
+            ~used_identifiers in
         (ob, true)
     with Failure msg ->
         (* `msg` is the message from soundness checks,