X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_error.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_error.mli;h=6383a62f77ed32df9aeea9bc66f5d3aef17200b7;hb=5da420a8c9d88111ef4ccabd6b0a0c65cddb73af;hp=4009ed51d9f79e8c9f4baa76041086731ec6f5e5;hpb=4204350300f47d6df974611b26911cf32c68d6eb;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_error.mli b/compiler/src/lib/tiger/tiger_error.mli
index 4009ed5..6383a62 100644
--- a/compiler/src/lib/tiger/tiger_error.mli
+++ b/compiler/src/lib/tiger/tiger_error.mli
@@ -50,3 +50,5 @@ exception T of t
 val raise : t -> 'a
 
 val to_string : t -> string
+
+val is_unknown_id : t -> bool