From a8db621dc96768cf2cf543be905d534579847020 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 3 Jul 2007 08:01:00 -0700
Subject: Version abc70703

---
 src/map/if/if.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if/if.h')

diff --git a/src/map/if/if.h b/src/map/if/if.h
index cdf9e1c7..a5aa3356 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -337,6 +337,7 @@ extern If_Obj_t *      If_ManCreateCi( If_Man_t * p );
 extern If_Obj_t *      If_ManCreateCo( If_Man_t * p, If_Obj_t * pDriver, int fCompl0 );
 extern If_Obj_t *      If_ManCreateAnd( If_Man_t * p, If_Obj_t * pFan0, int fCompl0, If_Obj_t * pFan1, int fCompl1 );
 extern If_Obj_t *      If_ManCreateXnor( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 );
+extern If_Obj_t *      If_ManCreateMnux( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1, If_Obj_t * pCtrl );
 extern void            If_ManCreateChoice( If_Man_t * p, If_Obj_t * pRepr );
 extern void            If_ManSetupCutTriv( If_Man_t * p, If_Cut_t * pCut, int ObjId );
 extern void            If_ManSetupCiCutSets( If_Man_t * p );
-- 
cgit v1.2.3