From f05e81a641b4fb6f2d5e69ef4c13e0ada3dc3bfb Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 14 May 2020 10:08:43 +0100
Subject: Attempt to fix CI error

---
 src/sail.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sail.ml b/src/sail.ml
index 8e89bbed..1f1b2489 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -55,7 +55,9 @@ module Json = Yojson.Basic
 
 let lib = ref ([] : string list)
 let opt_interactive_script : string option ref = ref None
-let opt_config : Json.t option ref = ref None
+(* Note: May cause a depcrecated warning for json type, but this cannot be
+   fixed without breaking Ubuntu 18.04 CI *)
+let opt_config : Json.json option ref = ref None
 let opt_print_version = ref false
 let opt_target = ref None
 let opt_tofrominterp_output_dir : string option ref = ref None
-- 
cgit v1.2.3