diff options
author | Jason Gross <jgross@mit.edu> | 2018-03-22 13:56:10 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-03-23 12:45:19 -0400 |
commit | 20de145c211be7b6da3a14308335a9f78372d59d (patch) | |
tree | eb6b2a6eb96d48398fac1615d68abc309ac8390e | |
parent | b0fe1418debe25f3dfe5ac93195a6009b244988e (diff) |
Remove spurious indentation
-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) |