From fe5693cac331c5eebe3da42406aa9217fb4787ff Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Tue, 19 Apr 2016 09:01:14 -0700
Subject: [PATCH] Fixed typo

---
 src/expr/expr.i | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/expr/expr.i b/src/expr/expr.i
index ae8b85560..354cacdc0 100644
--- a/src/expr/expr.i
+++ b/src/expr/expr.i
@@ -133,7 +133,6 @@ namespace CVC4 {
 #ifdef SWIGPYTHON
 /* The python bindings on Mac OS X have trouble with this one - leave it
  * out for now. */
-*/
 //%template(getConstTypeConstant) CVC4::Expr::getConst<CVC4::TypeConstant>;
 #else
 %template(getConstTypeConstant) CVC4::Expr::getConst<CVC4::TypeConstant>;
-- 
2.30.2