XSB quotes domainelements

[Pieter Van Hertum]

Using xsb, a pair of quotes are added to domainelements when calculating a definition.

Example: V{ type t{ P(t) Q(t) } theory T:V{ {Q(x)<-P(x)} } Structure input{ p={"a"} }

Output = { P={"a"} Q={""a""} }

Full example in attachment

[Joachim Jansen]

Bijgevoegde test werkt op de master. Full example bevat bij mij ook geen dubble quotes

Heb je op jouw branch misschien printers aangepast?

[Bart Bogaerts]

Werkt ook bij mij. @PieterVH, ik zou toch eens uw branch nakijken en ook eens nakijken waarnaar de executable "idpmaster" eigenlijk verwijst :p

[Joachim Jansen]

Already solved