From 872434e632bef4a10582f3f5b1f4847538791345 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Dec 2013 16:01:57 -0800 Subject: [PATCH] fix(kernel/has_free_vars): return false for null expression Signed-off-by: Leonardo de Moura --- src/kernel/free_vars.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/free_vars.cpp b/src/kernel/free_vars.cpp index 1dfc229f4..3738b780d 100644 --- a/src/kernel/free_vars.cpp +++ b/src/kernel/free_vars.cpp @@ -99,7 +99,7 @@ public: }; bool has_free_vars(expr const & e) { - return has_free_vars_fn()(e); + return e && has_free_vars_fn()(e); } /**