Commit ffb7f762 authored by bguillaum's avatar bguillaum

cosmetic changes

git-svn-id: svn+ssh:// 7838e531-6607-4d57-9587-6c381814729c
parent 5d3bf2f2
This diff is collapsed.
......@@ -56,7 +56,7 @@ module Instance = struct
{ empty with graph = G_graph.rename mapping t.graph; free_index = new_free }
(* comparison is done on the list of commands *)
(* only graph rewrited from the same init graph can be "compared" *)
(* only graph rewritten from the same init graph can be "compared" *)
let compare t1 t2 = t1.history t2.history
let to_gr t = G_graph.to_gr t.graph
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment