From d877074d8ff6c23b4c14b1c46bfab1b6560ef8b6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 9 Mar 2017 22:53:47 -0800
Subject: Improvements to ternary simulation.

---
 src/proof/pdr/module.make | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/pdr/module.make')

diff --git a/src/proof/pdr/module.make b/src/proof/pdr/module.make
index 1dee93aa..badff981 100644
--- a/src/proof/pdr/module.make
+++ b/src/proof/pdr/module.make
@@ -6,4 +6,5 @@ SRC +=    src/proof/pdr/pdrCnf.c \
     src/proof/pdr/pdrSat.c \
     src/proof/pdr/pdrTsim.c \
     src/proof/pdr/pdrTsim2.c \
+    src/proof/pdr/pdrTsim3.c \
     src/proof/pdr/pdrUtil.c
-- 
cgit v1.2.3