From 634dd6d030f5f54cfd0032be83ab10ec064530f1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 12 Jul 2013 13:21:59 -0700
Subject: Compiler warnings.

---
 src/bool/rpo/rpo.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bool/rpo/rpo.c')

diff --git a/src/bool/rpo/rpo.c b/src/bool/rpo/rpo.c
index 5311e107..cf24fbe1 100644
--- a/src/bool/rpo/rpo.c
+++ b/src/bool/rpo/rpo.c
@@ -347,7 +347,7 @@ Literal_t* Rpo_Recursion(unsigned* target, Literal_t** vecLit, int nLit, int nLi
         maxLitIndex = (edge->idx1 > edge->idx2) ? edge->idx1 : edge->idx2;
         oldLit1 = vecLit[minLitIndex];
         oldLit2 = vecLit[maxLitIndex];
-        newLit = Lit_GroupLiterals(oldLit1, oldLit2, edge->connectionType, nVars);
+        newLit = Lit_GroupLiterals(oldLit1, oldLit2, (Operator_t)edge->connectionType, nVars);
         vecLit[minLitIndex] = newLit;
         vecLit[maxLitIndex] = NULL;
 
-- 
cgit v1.2.3