Commit b0b1633a authored by Andrei Paskevich's avatar Andrei Paskevich

remove an ill-typed goal from check-builtin/propositional

parent 298ef03b
......@@ -5,6 +5,4 @@ theory Prop
goal G : a and b -> a
goal G2 : G -> true
end
\ No newline at end of file
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