fix formatting (#743)

rems-project · Dec 6, 2024 · 6029b76 · 6029b76
1 parent 36582a6
commit 6029b76
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/backend/cn/bin/main.ml b/backend/cn/bin/main.ml
@@ -763,6 +763,7 @@ module Verify_flags = struct
     let doc = "directory in which to output state files" in
     Arg.(value & opt (some string) None & info [ "output-dir" ] ~docv:"FILE" ~doc)
 
+
   let disable_resource_derived_constraints =
     let doc = "disable resource-derived constraints" in
     Arg.(value & flag & info [ "disable-resource-derived-constraints" ] ~doc)

diff --git a/backend/cn/lib/resources.ml b/backend/cn/lib/resources.ml
@@ -78,6 +78,7 @@ let derived_lc2 (resource, _) (resource', _) =
 let disable_resource_derived_constraints = ref false
 
 let pointer_facts ~new_resource ~old_resources =
-  if !disable_resource_derived_constraints 
-  then []
-  else derived_lc1 new_resource @ List.concat_map (derived_lc2 new_resource) old_resources
+  if !disable_resource_derived_constraints then
+    []
+  else
+    derived_lc1 new_resource @ List.concat_map (derived_lc2 new_resource) old_resources