--- makefile.orig	Sun Sep 10 19:59:06 2000
+++ makefile	Sun Sep 10 20:00:41 2000
@@ -10,9 +10,10 @@
 # Send bug-reports and/or questions to: gerard@research.bell-labs.com
 # The book is available frm www.amazon.com
 
-CC=cc -g		# or any other ansi compatible c compiler
+# CC=cc -g		# or any other ansi compatible c compiler
 # CC=cc -g -DNXT	# if you need the X operator in LTL
-CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
+# CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
+CC += -DNXT
 
 #	on Solaris:	add -DSOLARIS
 #	on PCs:		add -DPC