Commit c7e3f607 authored by Michael Hanus's avatar Michael Hanus
Browse files

Option -free removed in test

parent d553820e
......@@ -19,7 +19,7 @@ fi
cat << EOM | $CURRYBIN -q :set -interactive :set v0 :set printdepth 0 :set -free :set +verbose :set -time > $LOGFILE
cat << EOM | $CURRYBIN -q :set -interactive :set v0 :set printdepth 0 :set +verbose :set -time > $LOGFILE
:load Leq
main10 x where x free
main11 (x::Int) y z where x,y,z free
Supports Markdown
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