diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-29 23:44:41 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-29 23:44:41 -0400 |
| commit | 131014b77e5fc4e52c2f786fa276ca506a95a94e (patch) | |
| tree | 5dab2e4bc5e8606609fba19b5d2860078289a4c1 /src | |
| parent | c13798a66c87e5dedff1ce3c5ec4492dc0508a72 (diff) | |
Fix an infinite loop
Diffstat (limited to 'src')
| -rw-r--r-- | src/Reflection/Z/Reify.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Reflection/Z/Reify.v b/src/Reflection/Z/Reify.v index 44689a2c3..4fcb16638 100644 --- a/src/Reflection/Z/Reify.v +++ b/src/Reflection/Z/Reify.v @@ -22,7 +22,7 @@ Ltac base_reify_type T ::= lazymatch T with | Z => TZ end. -Ltac Reify' e := Reify.Reify' base_type interp_base_type op e. +Ltac Reify' e := Reflection.Reify.Reify' base_type interp_base_type op e. Ltac Reify e := - let v := Reify.Reify base_type interp_base_type op e in + let v := Reflection.Reify.Reify base_type interp_base_type op e in constr:((*Inline _*) ((*CSE _*) ((*InlineConst*) (Linearize v)))). |