diff options
Diffstat (limited to 'src/Experiments')
| -rw-r--r-- | src/Experiments/NewPipeline/Language.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Experiments/NewPipeline/Language.v b/src/Experiments/NewPipeline/Language.v index 1e8e9da4e..872224318 100644 --- a/src/Experiments/NewPipeline/Language.v +++ b/src/Experiments/NewPipeline/Language.v @@ -243,7 +243,7 @@ Module Compilers. Delimit Scope etype_scope with etype. Bind Scope etype_scope with type.type. Infix "->" := type.arrow : etype_scope. - Infix "==" := type.eqv : etype_scope. + Infix "==" := type.eqv : type_scope. Module base. Local Notation einterp := type.interp. Module type. |