Commit e09ec78a authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Avoid dangerous construct.

parent f94c54c7
......@@ -594,7 +594,7 @@ let hypothesis_selection = (* create lots of hashtables... *)
let symbTbl = Hls.create 17 in
Trans.store (transformation fmlaTable fTbl tTbl symbTbl)
let _ = Trans.register_transform "hypothesis_selection" hypothesis_selection
let () = Trans.register_transform "hypothesis_selection" hypothesis_selection
~desc:"Hypothesis@ selection."
(*
......
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