Fixed typo

diff --git a/src/expr/expr.i b/src/expr/expr.i
index ae8b85560f8765a1de8eefc23265821303614580..354cacdc0a3baeb439dc8d58d5e8e4f694673392 100644 (file)
--- 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>;