Merge branch 'master' into feature/foundry-to-kontrol

runtimeverification · Mar 29, 2024 · 553635f · 553635f
2 parents 65d21fd + bb9586b
commit 553635f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/run-kontrol.sh b/run-kontrol.sh
@@ -94,6 +94,7 @@ kontrol_show --verbose
 # kontrol_remove_node 4b6c47..d6d6d3
 # kontrol_prove --reinit
 
+
 ##############################
 # Additional Reinit Examples #
 ##############################