diff options
author | 2016-09-18 19:33:22 -0400 | |
---|---|---|
committer | 2016-09-18 19:33:22 -0400 | |
commit | 00af576224d267cafd149ee32f28e18dd4f9b45f (patch) | |
tree | 4cb3338a621ac906e838889cb17a29c01061dd55 | |
parent | e153b52286ff36b4904890eda5536a84f4bdeab2 (diff) |
Better arguments for SmartVarMap
-rw-r--r-- | src/Reflection/Syntax.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Reflection/Syntax.v b/src/Reflection/Syntax.v index ab536c029..b5fe5fd7f 100644 --- a/src/Reflection/Syntax.v +++ b/src/Reflection/Syntax.v @@ -240,7 +240,7 @@ Global Arguments Var {_ _ _ _ _} _. Global Arguments SmartVar {_ _ _ _ _} _. Global Arguments SmartVal {_} T _ t. Global Arguments SmartVarVar {_ _ _ _ _} _. -Global Arguments SmartVarMap {_ _ _ _ _} _. +Global Arguments SmartVarMap {_ _ _} _ {_} _. Global Arguments SmartConst {_ _ _ _ _} _. Global Arguments Op {_ _ _ _ _ _} _ _. Global Arguments LetIn {_ _ _ _ _} _ {_} _. |