Commit 8fa7e1f1 authored by POTTIER Francois's avatar POTTIER Francois

Remove leftover comment.

parent f5c4e6a0
...@@ -426,9 +426,6 @@ let dfa (e : regexp) : dfa = ...@@ -426,9 +426,6 @@ let dfa (e : regexp) : dfa =
let init = encode e in let init = encode e in
(* The transition function is as follows. *) (* The transition function is as follows. *)
let transition q a = encode (delta a (decode q)) in let transition q a = encode (delta a (decode q)) in
(*
(* There remains to tabulate the transition function. *)
*)
(* We are done. *) (* We are done. *)
{ n; init; decode; transition } { n; init; decode; transition }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment