-- Claude Marché (2017-11-14) > The TPTP printer is in a dynamically loaded plugin, so you should check > your why3.conf file, that needs to contain the appropriate plugin path, > e.g.:
indeed, why3config did not generate the "plugin" line. But in any case, I have no such "/lib/why3/plugins/tptp" in my source or installed why3 directory. How do I get this created? Is it a special argument to configure? TIA -- Yannick Moy, Senior Software Engineer, AdaCore
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club