tidy old debug printing

rems-project · Jul 29, 2024 · 4386316 · 4386316
1 parent 5fb856f
commit 4386316
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src_concurrency_model/machineDefPLDI11StorageSubsystem.lem b/src_concurrency_model/machineDefPLDI11StorageSubsystem.lem
@@ -778,7 +778,7 @@ let pldi11_enumerate_transitions_of_storage_subsystem
 
   let () =
     let n_debug = integerFromNat (Set.size all_writes) in
-    let () = print_integer n_debug in let () = print_string "\n" in
+    (*let () = print_integer n_debug in let () = print_string "\n" in*)
     set_writes_seen n_debug in
 
   let all_barriers = barriers_seen s in