Darrin B. Jewell wrote: > Module Name: src > Committed By: dbj > Date: Mon Sep 18 08:12:28 UTC 2006 > > Modified Files: > src/distrib/sets/lists/comp: mi > > Log Message: > add veriexecgen.debug Hm - what's that? is it required because I have the -g flag in the Makefile for this program? -e. -- Elad Efrat