X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Forderpair.c;h=9501af5dcc437f232c686395765e4be271a2820c;hb=b68780a0eac1a7e8022cf680bceddfc1e66f5d9e;hp=109fc536afe87ad9d161bd9818b8db90ffdb0770;hpb=5ac7352acbb5931293d51ba80df9d6c9039aa888;p=satune.git

diff --git a/src/Backend/orderpair.c b/src/Backend/orderpair.c
index 109fc53..9501af5 100644
--- a/src/Backend/orderpair.c
+++ b/src/Backend/orderpair.c
@@ -1,14 +1,14 @@
 #include "orderpair.h"
 
 
-OrderPair* allocOrderPair(uint64_t first, uint64_t second, Constraint * constraint){
-	OrderPair* pair = (OrderPair*) ourmalloc(sizeof(OrderPair));
+OrderPair *allocOrderPair(uint64_t first, uint64_t second, Edge constraint) {
+	OrderPair *pair = (OrderPair *) ourmalloc(sizeof(OrderPair));
 	pair->first = first;
 	pair->second = second;
 	pair->constraint = constraint;
 	return pair;
 }
 
-void deleteOrderPair(OrderPair* pair){
+void deleteOrderPair(OrderPair *pair) {
 	ourfree(pair);
 }