From: Clark Barrett <barrett@cs.nyu.edu>
Date: Tue, 19 Apr 2016 16:01:14 +0000 (-0700)
Subject: Fixed typo
X-Git-Tag: cvc5-1.0.0~6049^2~63
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fe5693cac331c5eebe3da42406aa9217fb4787ff;p=cvc5.git

Fixed typo
---

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>;