diff options
| author | Brian Campbell | 2018-01-12 11:32:30 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-12 11:32:30 +0000 |
| commit | e227238dfa54ad337afa00648a35e8932d42fd06 (patch) | |
| tree | e56b5741292b3a319e37a24a24c6010f085c0c09 /src | |
| parent | 6c3f6b7a8e8d5df984d73c9c12740e652f638f03 (diff) | |
Remove generic comparison
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 5ffe75d4..389dacd4 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -926,7 +926,7 @@ let split_defs continue_anyway splits defs = -> exp,assigns | E_cast (t,e') -> let e'',assigns = const_prop_exp substs assigns e' in - if is_value e'' && e' <> e'' + if is_value e'' then reduce_cast t e'' l annot, assigns else re (E_cast (t, e'')) assigns | E_app (id,es) -> |