diff options
Diffstat (limited to 'src/getinfo.sig')
| -rw-r--r-- | src/getinfo.sig | 4 |
1 files changed, 2 insertions, 2 deletions
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 -> |