Commit e4d7f09f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update to new version of Monolith.

parent af194ffb
......@@ -100,7 +100,7 @@ let predicate =
(* Declare the abstract type [t] of arrays. *)
let t =
declare_abstract_type "t" ~var:"a"
declare_abstract_type ~var:"a" ()
(* We do not provide a [check] function. *)
(* -------------------------------------------------------------------------- *)
......
......@@ -57,7 +57,7 @@ let list_of_seq spec =
(* Declare the abstract type [t] of queues. *)
let t =
declare_abstract_type "t" ~var:"q"
declare_abstract_type ~var:"q" ()
(* We do not provide a [check] function. *)
(* -------------------------------------------------------------------------- *)
......
......@@ -57,7 +57,7 @@ let list_of_seq spec =
(* Declare the abstract type [t] of stacks. *)
let t =
declare_abstract_type "t" ~var:"s"
declare_abstract_type ~var:"s" ()
(* We do not provide a [check] function. *)
(* -------------------------------------------------------------------------- *)
......
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