Clang-format fix

diffblue · Jan 17, 2025 · 0b1231c · 0b1231c
1 parent 3ce9fce
commit 0b1231c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ansi-c/library/cprover_contracts.c b/src/ansi-c/library/cprover_contracts.c
@@ -1406,7 +1406,7 @@ __CPROVER_HIDE:;
     if(seen->elems[object_id] != 0)
       return 0;
 #endif
-    // record fresh object in the object set
+
 #ifdef __CPROVER_DFCC_DEBUG_LIB
     // manually inlined below
     __CPROVER_contracts_obj_set_add(seen, ptr);