diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-23 11:26:22 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-23 11:26:22 -0500 |
| commit | aec88b301612febe75744b3ed2b2a128dddd498a (patch) | |
| tree | 7e2cae6b5478edc71281768ea376f7685f60869b /src/Reflection | |
| parent | 371b69d283ead05f75c698e31892778397286428 (diff) | |
Minor change to reflection naming
Diffstat (limited to 'src/Reflection')
| -rw-r--r-- | src/Reflection/InputSyntax.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Reflection/InputSyntax.v b/src/Reflection/InputSyntax.v index 42ac17069..258241391 100644 --- a/src/Reflection/InputSyntax.v +++ b/src/Reflection/InputSyntax.v @@ -58,7 +58,7 @@ Section language. end. Fixpoint interp {t} (e : @expr interp_flat_type t) : interp_type t := match e in expr t return interp_type t with - | Return _ x => interpf x + | Return _ v => interpf v | Abs _ _ f => fun x => @interp _ (f x) end. |