diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-31 16:22:11 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-31 16:22:11 -0400 |
| commit | c6e8be8aa95d3fd6ca33e187ff9f5390bb574400 (patch) | |
| tree | 72349cb4c80f0d994441b98f909ad687461d272d /src | |
| parent | ad6e5bf2a14b759d060b5ae5cc7797e1d069e6ef (diff) | |
Implicits for SmartVarMapT
Diffstat (limited to 'src')
| -rw-r--r-- | src/Reflection/Syntax.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Reflection/Syntax.v b/src/Reflection/Syntax.v index 7df4c2a4d..4e650203c 100644 --- a/src/Reflection/Syntax.v +++ b/src/Reflection/Syntax.v @@ -293,6 +293,7 @@ Global Arguments SmartVar {_ _ _ _ _} _. Global Arguments SmartVal {_} T _ t. Global Arguments SmartVarVar {_ _ _ _ _} _. Global Arguments SmartVarMap {_ _ _} _ {_} _. +Global Arguments SmartVarMapT {_ _ _} _ _ {_} _. Global Arguments SmartConst {_ _ _ _ _} _. Global Arguments Op {_ _ _ _ _ _} _ _. Global Arguments LetIn {_ _ _ _ _} _ {_} _. |