Fix ArgTools indentation (PR #1001)

goblint · Mar 2, 2023 · f8aaf56 · f8aaf56
1 parent 3ef473c
commit f8aaf56
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/witness/argTools.ml b/src/witness/argTools.ml
@@ -113,9 +113,9 @@ struct
         ) lh;
 
       (prev,
-        (fun n ->
+       (fun n ->
           NHT.find_default prev n []), (* main entry is not in prev at all *)
-        (fun n ->
+       (fun n ->
           NHT.find_default next n [])) (* main return is not in next at all *)
     in
     let witness_main =