From e0a8e775a4c1e12debb2a3fa458007340685dc9d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 15:26:12 -0500
Subject: Elaborating cons and decls

---
 src/errormsg.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/errormsg.sig')

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 24bc8205..92425842 100644
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -39,6 +39,9 @@ signature ERROR_MSG = sig
     val posToString : pos -> string
     val spanToString : span -> string
 
+    val dummyPos : pos
+    val dummySpan : span
+
     val resetPositioning : string -> unit
     val newline : int -> unit
     val lastLineStart : unit -> int
-- 
cgit v1.2.3