From c74e0ec46a0789e12502c758d7688a52de62a139 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 25 Aug 2017 19:33:11 -0700
Subject: [PATCH] Bug fixes

---
 src/AST/function.h               | 1 +
 src/Encoders/functionencoding.cc | 6 ++++--
 2 files changed, 5 insertions(+), 2 deletions(-)

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