[PPL-devel] composite/ bj-linux/Makefile arser/parser.y re ...

Wed Jan 8 11:23:16 CET 2003

CVSROOT:	/cvs/alv
Module name:	composite
Changes by:	roberto at 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.