Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / src / AST / tableentry.c

diff --git a/src/AST/tableentry.c b/src/AST/tableentry.c
index 9992af7238a4dba9a8c614c158ed1e7b63753707..64aae20ffd5b2b2080a9a272563ffddace5e8abf 100644 (file)
--- a/src/AST/tableentry.c
+++ b/src/AST/tableentry.c
@@ -1,13 +1,14 @@
 #include "tableentry.h"
 #include <string.h>
 
-TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result){
-       TableEntry* te = (TableEntry*) ourmalloc(sizeof(TableEntry)+inputSize*sizeof(uint64_t));
-       te->output=result;
+TableEntry *allocTableEntry(uint64_t *inputs, uint inputSize, uint64_t result) {
+       TableEntry *te = (TableEntry *) ourmalloc(sizeof(TableEntry) + inputSize * sizeof(uint64_t));
+       te->output = result;
+       te->inputSize = inputSize;
        memcpy(te->inputs, inputs, inputSize * sizeof(uint64_t));
        return te;
 }
 
-void deleteTableEntry(TableEntry* tableEntry){
+void deleteTableEntry(TableEntry *tableEntry) {
        ourfree(tableEntry);
 }