diff -rcp2 composite.1/parser/main.c composite/parser/main.c
*** composite.1/parser/main.c	Tue Jan  7 15:38:48 2003
--- composite/parser/main.c	Tue Jan  7 16:39:37 2003
***************
*** 6,9 ****
--- 6,10 ----
  #include <stdlib.h>
  #include <iostream.h>
+ #include <stdexcept>
  #include <bool.h>
  
*************** temporal operator \n\
*** 99,103 ****
  
  char *startHeap;
! int main(int argc,char **argv) {
  
    char *fileName;
--- 100,104 ----
  
  char *startHeap;
! int main(int argc,char **argv) try {
  
    char *fileName;
*************** int main(int argc,char **argv) {
*** 338,346 ****
  
  }
! 
! 
! 
! 
! 
! 
! 
--- 339,345 ----
  
  }
! catch (const exception& e) {
!   cerr << "Exception caught:\n"
!        << e.what()
!        << endl;
! }
diff -rcp2 composite.1/util/parmiface.c composite/util/parmiface.c
*** composite.1/util/parmiface.c	Tue Jan  7 15:38:48 2003
--- composite/util/parmiface.c	Tue Jan  7 15:43:17 2003
*************** int DomainIsEmpty(Polyhedron *p)
*** 144,149 ****
  int PolyhedronIsUniverse(Polyhedron *p)
  {
!   const PPL::ConSys *cs = &p->_data->constraints();
!   return cs->begin() == cs->end();
  }
  
--- 144,148 ----
  int PolyhedronIsUniverse(Polyhedron *p)
  {
!   return p->_data->check_universe();
  }
  
*************** Polyhedron *DomainDifference(Polyhedron 
*** 307,315 ****
  
    for (p2 = d2; p2 != NULL; p2 = p2->next) {
-     const PPL::ConSys *cs = &p2->_data->constraints();
-     PPL::ConSys::const_iterator i = cs->begin();
      Polyhedron *result = NULL;
  
!     if (cs->begin() == cs->end()) {
        /* Universe polyhedrons have no constraints, so they need to
           be special-cased, meaning this should result in empty polyhedron. */
--- 306,312 ----
  
    for (p2 = d2; p2 != NULL; p2 = p2->next) {
      Polyhedron *result = NULL;
  
!     if (p2->_data->check_universe()) {
        /* Universe polyhedrons have no constraints, so they need to
           be special-cased, meaning this should result in empty polyhedron. */
*************** Polyhedron *DomainDifference(Polyhedron 
*** 317,320 ****
--- 314,320 ----
      }
  
+     const PPL::ConSys *cs = &p2->_data->constraints();
+     PPL::ConSys::const_iterator i;
+ 
      for (p1 = remainder; p1 != NULL; p1 = p1->next) {
        for (i = cs->begin(); i != cs->end(); ++i) {
