blob: 6a391628b29239385f9561183984e190ce9cd4ac (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
diff -ruN src/Parser/Dfa/dfaString.sml.orig src/Parser/Dfa/dfaString.sml
--- src/Parser/Dfa/dfaString.sml.orig 2004-06-25 18:42:52.000000000 +0200
+++ src/Parser/Dfa/dfaString.sml 2004-12-08 19:02:48.000000000 +0100
@@ -68,11 +68,11 @@
(fn (i,q,yet) => if q<0 then yet
else " "::Elem2String (i+lo)::"->"::State2String q::yet)
(if fin then [" [Final]"] else nil)
- (tab,0,NONE))
+ tab)
fun Dfa2String Elem2String tab =
String.concat
(Vector.foldri
(fn (q,row,yet) => State2String q::":"::Row2String Elem2String row::yet)
- nil (tab,0,NONE))
+ nil tab)
end
|
