diff options
| author | Alasdair Armstrong | 2018-06-07 06:23:10 +0100 |
|---|---|---|
| committer | GitHub | 2018-06-07 06:23:10 +0100 |
| commit | 27a88d181e8d01b042730b2aac7e19867aa10548 (patch) | |
| tree | 5c08fff0e02d037fbbf75654390cc5954c8a3b2c /src | |
| parent | 1f88b4812916a56df8d5ff8c09ac56c8e4086be4 (diff) | |
| parent | 79d97f22469bc7417ad3f27d6c8706f331b67b53 (diff) | |
Merge pull request #14 from lastland/sail2
Fix a typo.
Diffstat (limited to 'src')
| -rw-r--r-- | src/constant_fold.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml index cf593b04..7a35226e 100644 --- a/src/constant_fold.ml +++ b/src/constant_fold.ml @@ -155,6 +155,6 @@ let rewrite_constant_function_calls' ast = let rewrite_constant_function_calls ast = if !optimize_constant_fold then - rewrite_constant_function calls' ast + rewrite_constant_function_calls' ast else ast |