diff options
Diffstat (limited to 'src/lem_interp/interp.lem')
| -rw-r--r-- | src/lem_interp/interp.lem | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index ef5743bf..5e37878e 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -112,8 +112,7 @@ and value_eq left right = | (V_boxref n t, V_boxref m t') -> n = m && t = t' | (V_tuple l, V_tuple l') -> listEqualBy value_eq l l' | (V_list l, V_list l') -> listEqualBy value_eq l l' - | (V_vector n b l, V_vector m b' l') -> - n = m && b = b' && listEqualBy value_eq l l' + | (V_vector n b l, V_vector m b' l') -> b = b' && listEqualBy value_eq l l' | (V_vector_sparse n o b l v, V_vector_sparse m p b' l' v') -> n=m && o=p && b=b' && listEqualBy (fun (i,v) (i',v') -> i=i' && (value_eq v v')) l l' && value_eq v v' | (V_record t l, V_record t' l') -> |