Commit a96a382d authored by MARCHE Claude's avatar MARCHE Claude

no directory to_port anymore (example "prover" still needs porting)

parent f89024dc
......@@ -218,7 +218,6 @@ goods examples/tests-provers
goods examples/check-builtin
goods examples/logic
goods examples
goods examples/to_port
goods examples/foveoos11-cm
goods examples/WP_revisited
goods examples/vacid_0_binary_heaps "-L examples/vacid_0_binary_heaps"
......
......@@ -80,7 +80,6 @@ echo ""
echo "=== Programs that remain to be ported ==="
echo ""
run_dir to_port
run_dir prover "-L prover --debug ignore_unused_vars"
echo ""
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment