From e227238dfa54ad337afa00648a35e8932d42fd06 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 12 Jan 2018 11:32:30 +0000
Subject: Remove generic comparison

---
 src/monomorphise.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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) ->
-- 
cgit v1.2.3