-
Guillaume Melquiond authored
File "why3/modules/array.mlw", line 141, characters 2-26: warning: cloned theory map.MapPermut does not contain any abstract symbol; it should be used instead Note that warn_clone_not_abstract is not called from clone_export so that the location of the declaration can be passed.
eaa386a9