Commit ad3f6c83 authored by MARCHE Claude's avatar MARCHE Claude

fix ACSL syntax for type params

parent 48a6a41e
......@@ -7,8 +7,8 @@
/*@ axiomatic Bag {
@ type bag<X>;
@ // logic bag<X> bag_union(bag<X> b1,bag<X> b2);
@ // axiom union_comm: \forall bag b1,b2;
@ // logic bag<X> bag_union<X>(bag<X> b1,bag<X> b2);
@ // axiom union_comm<X>: \forall bag<X> b1,b2;
@ // bag_union(b1,b2) == bag_union(b2,b1);
@ }
@*/
......
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