summaryrefslogtreecommitdiff
path: root/src/elab_util.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_util.sig')
-rw-r--r--src/elab_util.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elab_util.sig b/src/elab_util.sig
index 0917d126..d6d8acaa 100644
--- a/src/elab_util.sig
+++ b/src/elab_util.sig
@@ -83,6 +83,7 @@ structure Sgn : sig
RelC of string * Elab.kind
| NamedC of string * Elab.kind
| Str of string * Elab.sgn
+ | Sgn of string * Elab.sgn
val mapfoldB : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder,
con : ('context, Elab.con', 'state, 'abort) Search.mapfolderB,