From 80a65e821d52fcc414b50f33d0dff60f7a38bd5f Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 29 Aug 2017 17:09:29 +0100
Subject: Improve flow typing

Can now handle nexps such as (2**65 - 1). Uses big_ints for comparisons, and
keeps original nexps in the AST.
---
 src/util.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/util.ml')

diff --git a/src/util.ml b/src/util.ml
index 75732376..c89cc1ef 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -204,10 +204,8 @@ let option_bind f = function
   | Some(o) -> f o
 
 let rec option_binop f x y = match x, y with
-  | None, None -> None
-  | Some x, None -> Some x
-  | None, Some y -> Some y
   | Some x, Some y -> Some (f x y)
+  | _ -> None
 
 let changed2 f g x h y =
   match (g x, h y) with
-- 
cgit v1.2.3