unexpected '%'

[tillmo]

./hets http://ontohub.org/dol-examples/engine.dol
*** Error:
http://ontohub.org/dol-examples/engine.dol:7.2:
unexpected '%'

The error vanishes if logic log:Propositional is replaced by logic Propositional.

[eugenk]

This also appears when calling

http://localhost:8000/dg/http%3A%2F%2Fontohub.org%2Fref%2F3%2Fdol-examples%2Fengine/full-signatures/full-theories/auto?input-type=dol;