Fix indentation (PR #855)

goblint · Oct 28, 2022 · c9e9e38 · c9e9e38
1 parent e9df254
commit c9e9e38
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/framework/control.ml b/src/framework/control.ml
@@ -581,12 +581,12 @@ struct
                 ; edge    = MyCFG.Skip
                 ; local  = local
                 ; global =
-                  (fun g ->
-                    try
-                      EQSys.G.spec (GHT.find gh (EQSys.GVar.spec g))
-                    with Not_found ->
-                      M.warn ~category:MessageCategory.Unsound "Global %a not found during transformation, proceeding with bot." Spec.V.pretty g;
-                      Spec.G.bot ())
+                    (fun g ->
+                      try
+                        EQSys.G.spec (GHT.find gh (EQSys.GVar.spec g))
+                      with Not_found ->
+                        M.warn ~category:MessageCategory.Unsound "Global %a not found during transformation, proceeding with bot." Spec.V.pretty g;
+                        Spec.G.bot ())
                 ; spawn  = (fun v d    -> failwith "Cannot \"spawn\" in query context.")
                 ; split  = (fun d es   -> failwith "Cannot \"split\" in query context.")
                 ; sideg  = (fun v g    -> failwith "Cannot \"split\" in query context.")