Segmentation fault on printing structure

[Sven Verdoolaege]

barrel$ cat test1.idp vocabulary V { p q }

theory T : V {} structure S : V {} barrel$ ~/local/install/idp/bin/idp -e "print(S)" test1.idp Segmentation fault (core dumped)

[Bart Bogaerts]

fixes #218

Printing of structures with a predicate without sorts is now fixed. A check for existence of a first sort was forgotten...

→ b64f4f4da587