From 727abfbae118d9cdf8d8b47b080a5453cecf9c7d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 4 Jun 2019 15:18:27 +0100
Subject: SMT: Add a fuzzing tool for the SMT builtins

---
 src/property.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/property.mli')

diff --git a/src/property.mli b/src/property.mli
index 8005f91a..66a732b9 100644
--- a/src/property.mli
+++ b/src/property.mli
@@ -104,6 +104,8 @@ type query =
    | Q_and of query list
    | Q_or of query list
 
+val default_query : query
+
 type pragma = {
     query : query;
     litmus : string list;
-- 
cgit v1.2.3