diff options
| author |  Simon Van Casteren <simon.van.casteren@gmail.com> | 2020-01-11 21:51:21 +0100 |
|---|---|---|
| committer | Simon Van Casteren <simon.van.casteren@gmail.com> | 2020-01-11 21:51:21 +0100 |
| commit | 0e6ae5392121aa2163199292963f0f98776b6790 (patch) | |
| tree | ff5214a32a29373e77ec0e7b89d04413ae0ec173 /src/getinfo.sig | |
| parent | 9f002a8199a6cba79c3c965731bc9be72506b388 (diff) | |
Fixed review changes: Better foundInEnv naming, correct interpretation of
SgiSgn, fix uniq
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 -> |