From 6a68833bbd28044feeb3f2863021e4f5d6dbd951 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 4 Aug 2017 18:45:46 +0100
Subject: Various improvements for ASL generation

Fixed a bug where existential constraint's weren't used to solve function quantifiers correctly
---
 src/reporting_basic.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/reporting_basic.mli')

diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli
index 559be9d4..3d1cbe13 100644
--- a/src/reporting_basic.mli
+++ b/src/reporting_basic.mli
@@ -104,3 +104,4 @@ val err_typ_dual : Parse_ast.l ->  Parse_ast.l -> string -> exn
     raising a [Fatal_error] exception is recommended. *)
 val report_error : error -> 'a
 
+val print_error : error -> unit
-- 
cgit v1.2.3