changed name from flexdfa.c to dfa.c

diff --git a/dfa.c b/dfa.c
index e5cc9a298cb0cefce3d9c0a874a3b34f1b974d13..a2ca2b6ea1858f79cce698d89748d28d95beb6e0 100644 (file)
--- a/dfa.c
+++ b/dfa.c
@@ -1,4 +1,4 @@
-/* flexdfa - DFA construction routines */
+/* dfa - DFA construction routines */
 
 /*
  * Copyright (c) 1987, the University of California