Commit b255b8e8 authored by Andrei Paskevich's avatar Andrei Paskevich

fix a forgotten test

parent c671ad6b
......@@ -2,6 +2,6 @@ theory Test
type t
logic f(t,t) : t
clone algebra.AC with type t = t, logic op = f
goal G1 : forall x,y : t. f x y = f y x
goal G2 : forall x,y,z : t. f (f x y) z = f x (f y z)
goal G1 : forall x y : t. f x y = f y x
goal G2 : forall x y z : t. f (f x y) z = f x (f y z)
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