From d174f6ec333a8a959ed610781326ca4d125e3c89 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 8 Aug 2013 15:35:06 +0100
Subject: More forms converting from parse_ast to ast; also removed some annot
 aux homs for terms that only need locations and not full annotations

---
 src/_build/reporting_basic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/_build/reporting_basic.ml')

diff --git a/src/_build/reporting_basic.ml b/src/_build/reporting_basic.ml
index a0d53ab0..b3880598 100644
--- a/src/_build/reporting_basic.ml
+++ b/src/_build/reporting_basic.ml
@@ -162,7 +162,7 @@ exception Fatal_error of error
 let err_todo l m = Fatal_error (Err_todo (l, m))
 let err_unreachable l m = Fatal_error (Err_unreachable (l, m))
 let err_general l m = Fatal_error (Err_general (l, m))
-
+let err_typ l m = Fatal_error (Err_type (l,m))
 
 let report_error e = 
   let (m1, verb_pos, pos_l, m2) = dest_err e in
-- 
cgit v1.2.3