Printing of structures adds strange comma's to a predicate's interpretation.

A model printed by the latest version of IDP with unary predicates (e.g. Run(File) with type File) inserts a comma in the type specification of the predicate: Run[,Voc::File] should actually be Run[Voc::File]. It doesn't seem to happen with functions or maybe predicates with arity > 1.

Ctrl-F attached file with the following: "[," to find specific examples.

It is a recent bug (introduced today or yesterday), also affecting Benchie.

Comments (3)