CVSROOT: /cvs/alv Module name: composite Changes by: roberto@spartacus.cs.unipr.it 03/01/08 11:23:16 Modified files: obj-linux : Makefile parser : parser.y predabs : AbsAction.h AbsSpec.cc AbsSpec.h AbsUtil.cc AbsUtil.h symbolic : CompSym.c IntSym.c Symbolic.h verifier : TransSys.c Log message: Changes to allow compilation with a (more or less) standard conforming C++ compiler.