X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FEncoders%2Ffunctionencoding.cc;h=a0475c6985593a25f146dcf9926d12d6d19e8135;hp=7086f5f75e7e30676bc28daefd509c58e6468314;hb=c74e0ec46a0789e12502c758d7688a52de62a139;hpb=0ce5a25b09b4b54cd763758388075b1f61ccefcb

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