diff options
-rw-r--r-- | src/Experiments/SimplyTypedArithmetic.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Experiments/SimplyTypedArithmetic.v b/src/Experiments/SimplyTypedArithmetic.v index d72c82e56..1edd4af56 100644 --- a/src/Experiments/SimplyTypedArithmetic.v +++ b/src/Experiments/SimplyTypedArithmetic.v @@ -5376,7 +5376,7 @@ Module Compilers. End GeneralizeVar. Module ReassociateSmallConstants. - Import Compilers.Uncurried.expr.default. + Import Compilers.Uncurried.expr.default. Section with_var. Context (max_const_val : Z) |