From ce4a5fe6a2529f11eaff66b6cdcdb32ef5309323 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 6 Oct 2010 08:31:35 +0000
Subject: declare-sort, define-sort working but not thoroughly tested;
 define-fun half working (just need to decide where to expand)

---
 src/parser/smt/smt.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/parser/smt')

diff --git a/src/parser/smt/smt.cpp b/src/parser/smt/smt.cpp
index da352c226..7ff738dd7 100644
--- a/src/parser/smt/smt.cpp
+++ b/src/parser/smt/smt.cpp
@@ -85,8 +85,8 @@ void Smt::addTheory(Theory theory) {
   case THEORY_ARRAYS_EX: {
     Type indexType = mkSort("Index");
     Type elementType = mkSort("Element");
-    
-    defineType("Array",getExprManager()->mkArrayType(indexType,elementType));
+
+    defineType("Array", getExprManager()->mkArrayType(indexType,elementType));
 
     addOperator(kind::SELECT);
     addOperator(kind::STORE);
-- 
cgit v1.2.3