From 4fae86c81dfcc4aff98bd3cd7313ae1040b6beb8 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 23 Sep 2016 14:02:12 +0200
Subject: [PATCH] Fixed typo in smt typechecker

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

diff --git a/src/smt/type_smt.ml b/src/smt/type_smt.ml
index a0587aa7..fd95c77f 100644
--- a/src/smt/type_smt.ml
+++ b/src/smt/type_smt.ml
@@ -194,7 +194,7 @@ let flat_map f l = List.flatten (List.map f l)
 
 let take_drop n l =
   let rec aux acc = function
-    | 0, _ | _, [] -> List.rev acc, []
+    | 0, res | _, ([] as res) -> List.rev acc, res
     | m, x :: r -> aux (x :: acc) (m - 1, r)
   in
   aux [] (n, l)