From: bdemsky <bdemsky@uci.edu>
Date: Sat, 26 Aug 2017 02:33:11 +0000 (-0700)
Subject: Bug fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c74e0ec46a0789e12502c758d7688a52de62a139;p=satune.git

Bug fixes
---

diff --git a/src/AST/function.h b/src/AST/function.h
index afa713f..9b6f254 100644
--- a/src/AST/function.h
+++ b/src/AST/function.h
@@ -12,6 +12,7 @@ class Function {
   Function(FunctionType _type) : type(_type) {}
 	FunctionType type;
 	MEMALLOC;
+	virtual ~Function() {}
 };
 
 class FunctionOperator : public Function {
diff --git a/src/Encoders/functionencoding.cc b/src/Encoders/functionencoding.cc
index 7086f5f..a0475c6 100644
--- a/src/Encoders/functionencoding.cc
+++ b/src/Encoders/functionencoding.cc
@@ -1,13 +1,15 @@
 #include "functionencoding.h"
 
 FunctionEncoding::FunctionEncoding(Element *function) :
-	type(FUNC_UNASSIGNED)
+	type(FUNC_UNASSIGNED),
+	isFunction(true)
 {
 	op.function = function;
 }
 
 FunctionEncoding::FunctionEncoding(Boolean *predicate) :
-	type(FUNC_UNASSIGNED)
+	type(FUNC_UNASSIGNED),
+	isFunction(false)
 {
 	op.predicate = predicate;
 }