From e4d7f09fc21a33f3fe7095e0703ebd5be6ef27c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Sun, 18 Oct 2020 21:54:42 +0200
Subject: [PATCH] Update to new version of Monolith.
---
fuzz/emulated/array/src/Main.ml | 2 +-
fuzz/emulated/queue/src/Main.ml | 2 +-
fuzz/emulated/stack/src/Main.ml | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/fuzz/emulated/array/src/Main.ml b/fuzz/emulated/array/src/Main.ml
index be702e8..e1f748f 100644
--- a/fuzz/emulated/array/src/Main.ml
+++ b/fuzz/emulated/array/src/Main.ml
@@ -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. *)
(* -------------------------------------------------------------------------- *)
diff --git a/fuzz/emulated/queue/src/Main.ml b/fuzz/emulated/queue/src/Main.ml
index 238b231..a63d63e 100644
--- a/fuzz/emulated/queue/src/Main.ml
+++ b/fuzz/emulated/queue/src/Main.ml
@@ -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. *)
(* -------------------------------------------------------------------------- *)
diff --git a/fuzz/emulated/stack/src/Main.ml b/fuzz/emulated/stack/src/Main.ml
index 17b9baa..7662cd5 100644
--- a/fuzz/emulated/stack/src/Main.ml
+++ b/fuzz/emulated/stack/src/Main.ml
@@ -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. *)
(* -------------------------------------------------------------------------- *)
--
GitLab