From 582a059e34d913ed52dfc18049e407055ebd7879 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 29 Jul 2008 08:01:00 -0700
Subject: Version abc80729

---
 src/aig/int/intInt.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/int/intInt.h')

diff --git a/src/aig/int/intInt.h b/src/aig/int/intInt.h
index ea2c48b8..dbb4301e 100644
--- a/src/aig/int/intInt.h
+++ b/src/aig/int/intInt.h
@@ -43,7 +43,7 @@ extern "C" {
 ///                         BASIC TYPES                              ///
 ////////////////////////////////////////////////////////////////////////
 
-// simulation manager
+// interpolation manager
 typedef struct Inter_Man_t_ Inter_Man_t;
 struct Inter_Man_t_
 {
-- 
cgit v1.2.3