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.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/reporting_basic.ml')

diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml
index 5ff43208..69c5c084 100644
--- a/src/reporting_basic.ml
+++ b/src/reporting_basic.ml
@@ -220,5 +220,6 @@ let report_error e =
   let (m1, verb_pos, pos_l, m2) = dest_err e in
   (print_err_internal verb_pos false pos_l m1 m2; exit 1)
 
-
-
+let print_error e =
+  let (m1, verb_pos, pos_l, m2) = dest_err e in
+  print_err_internal verb_pos false pos_l m1 m2
-- 
cgit v1.2.3