Commit 6553cc0c authored by POTTIER Francois's avatar POTTIER Francois

Updated comment.

parent a26afa3d
......@@ -109,7 +109,7 @@ module Terminal : sig
val lookup : string -> t
(* Terminals can be converted to integers. This feature is exploited
in the table-based back-end. *)
in the table-based back-end and in [LRijkstra]. *)
val t2i: t -> int
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