From 0e6ae5392121aa2163199292963f0f98776b6790 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simon.van.casteren@gmail.com>
Date: Sat, 11 Jan 2020 21:51:21 +0100
Subject: Fixed review changes: Better foundInEnv naming, correct
 interpretation of SgiSgn, fix uniq

---
 src/getinfo.sig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/getinfo.sig')

diff --git a/src/getinfo.sig b/src/getinfo.sig
index 663a9a81..63850ef2 100644
--- a/src/getinfo.sig
+++ b/src/getinfo.sig
@@ -28,8 +28,8 @@
 signature GET_INFO = sig 
 
     datatype foundInEnv = FoundStr of (string * Elab.sgn)
-                        | FoundCon of (string * Elab.kind)
-                        | FoundExp of (string * Elab.con)
+                        | FoundKind of (string * Elab.kind)
+                        | FoundCon of (string * Elab.con)
 
     val findStringInEnv:
         ElabEnv.env ->
-- 
cgit v1.2.3