From d63a0cbbfd3979bb1423946fd1853411fbc66210 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 17 Jul 2008 08:01:00 -0700
Subject: Version abc80717

---
 src/sat/msat/msatInt.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/sat/msat')

diff --git a/src/sat/msat/msatInt.h b/src/sat/msat/msatInt.h
index 03903abe..2ff0e695 100644
--- a/src/sat/msat/msatInt.h
+++ b/src/sat/msat/msatInt.h
@@ -25,7 +25,6 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-//#include "leaks.h"       
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-- 
cgit v1.2.3