From ddab80aea4cea4bbdcd4aa17dd1be893e50961b1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 14 Nov 2012 14:00:47 -0800
Subject: Isolating BMC code into a separate package.

---
 src/aig/saig/module.make | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/saig')

diff --git a/src/aig/saig/module.make b/src/aig/saig/module.make
index 97b69363..4048043e 100644
--- a/src/aig/saig/module.make
+++ b/src/aig/saig/module.make
@@ -1,4 +1,4 @@
-SRC +=  src/aig/saig/saigCone. \
+SRC +=  src/aig/saig/saigCone.c \
     src/aig/saig/saigConstr.c \
     src/aig/saig/saigConstr2.c \
     src/aig/saig/saigDual.c \
-- 
cgit v1.2.3