diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 1900d0c32..31761a735 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -478,7 +478,6 @@ static inline int          Gia_ManConstrNum( Gia_Man_t * p )   { return p->nCons
 static inline void         Gia_ManFlipVerbose( Gia_Man_t * p ) { p->fVerbose ^= 1;                                                         } 
 static inline int          Gia_ManHasChoices( Gia_Man_t * p )  { return p->pSibls != NULL;                                                 } 
 static inline int          Gia_ManChoiceNum( Gia_Man_t * p )   { int c = 0; if (p->pSibls) { int i; for (i = 0; i < p->nObjs; i++) c += (int)(p->pSibls[i] > 0); } return c; } 
-static inline int          Gia_ManHasChoicesOri( Gia_Man_t *p ){ return p->pReprs != NULL;                                                  }
 
 static inline Gia_Obj_t *  Gia_ManConst0( Gia_Man_t * p )      { return p->pObjs;                                                          }
 static inline Gia_Obj_t *  Gia_ManConst1( Gia_Man_t * p )      { return Gia_Not(Gia_ManConst0(p));                                         }