Comment out debugging command for IPAddr.

cedar-policy · Feb 9, 2024 · eeb8be7 · eeb8be7
1 parent 05e44b4
commit eeb8be7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cedar-lean/UnitTest/IPAddr.lean b/cedar-lean/UnitTest/IPAddr.lean
@@ -166,6 +166,6 @@ def tests := [
   testsForIpNetEquality]
 
 -- Uncomment for interactive debugging
-#eval TestSuite.runAll tests
+-- #eval TestSuite.runAll tests
 
 end UnitTest.IPAddr