Commit 88928042 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Merge branch '178-cannot-compile-extracted-program-using-list-nth-nth' into 'master'

Resolve "Cannot compile extracted program using `list.Nth.nth`"

Closes #178

See merge request !18
parents 50714c57 f933a576
......@@ -52,10 +52,6 @@ theory list.Mem
syntax predicate mem "List.mem %1 %2"
end
theory list.Nth
syntax function nth "List.nth %1 %2"
end
theory list.Append
syntax function (++) "List.append %1 %2"
end
......
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