From 5fbc0cd7f09a382241266404d78c18c5443d2b9d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 10 Jan 2017 16:58:24 +0700
Subject: Updates to arithmetic verification.

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

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

diff --git a/src/proof/acec/module.make b/src/proof/acec/module.make
index 4003695e..4db695c5 100644
--- a/src/proof/acec/module.make
+++ b/src/proof/acec/module.make
@@ -11,4 +11,5 @@ SRC +=    src/proof/acec/acecCl.c \
     src/proof/acec/acecOrder.c \
     src/proof/acec/acecPolyn.c \
     src/proof/acec/acecSt.c \
+    src/proof/acec/acecTree.c \
     src/proof/acec/acecUtil.c      
-- 
cgit v1.2.3