Fix base realloc invalidation comment indentation (PR #712)

goblint · May 4, 2022 · 13d92f9 · 13d92f9
1 parent fbf61bc
commit 13d92f9
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -2344,8 +2344,7 @@ struct
           set_many ~ctx ask gs st [
             (heap_addr, TVoid [], heap_val);
             (lv_addr, Cilfacade.typeOfLval lv, `Address heap_addr');
-          ]
-          (* TODO: free (i.e. invalidate) old blob if successful? *)
+          ] (* TODO: free (i.e. invalidate) old blob if successful? *)
         | None ->
           st
       end