diff --git a/demos/brz/Brzozowski.ml b/demos/brz/Brzozowski.ml index 3ed6486af8e5a734dbdc5ea9939da462ab4a8976..82c7e941121e38a8657fec293fc73b80daec5656 100644 --- a/demos/brz/Brzozowski.ml +++ b/demos/brz/Brzozowski.ml @@ -426,9 +426,6 @@ let dfa (e : regexp) : dfa = let init = encode e in (* The transition function is as follows. *) let transition q a = encode (delta a (decode q)) in -(* - (* There remains to tabulate the transition function. *) -*) (* We are done. *) { n; init; decode; transition }