Fix indentation (PR #796)

goblint · Jan 2, 2023 · 6466f7c · 6466f7c
1 parent 9ce9249
commit 6466f7c
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/src/analyses/unassumeAnalysis.ml b/src/analyses/unassumeAnalysis.ml
@@ -73,15 +73,15 @@ struct
       );
 
     let loc_of_location (location: YamlWitnessType.Location.t): Cil.location = {
-        file = location.file_name;
-        line = location.line;
-        column = location.column + 1;
-        byte = -1;
-        endLine = -1;
-        endColumn = -1;
-        endByte = -1;
-        synthetic = false;
-      }
+      file = location.file_name;
+      line = location.line;
+      column = location.column + 1;
+      byte = -1;
+      endLine = -1;
+      endColumn = -1;
+      endByte = -1;
+      synthetic = false;
+    }
     in
 
     let yaml = Yaml_unix.of_file_exn (Fpath.v (GobConfig.get_string "witness.yaml.unassume")) in