Commit 30cb6032 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix hypothesis_selection not being registered. Patch by Piotr Trojanek.

parent da6251e7
......@@ -595,6 +595,7 @@ let hypothesis_selection = (* create lots of hashtables... *) (transformation fmlaTable fTbl tTbl symbTbl)
let _ = Trans.register_transform "hypothesis_selection" hypothesis_selection
~desc:"Hypothesis@ selection."
Local Variables:
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