Hi,

Whenever I use any of the print functions in CLAIRE the word unknown
is printed at the end of the output.
Is this normal? Do I need to put in some instruction to say that I am
finished my output?

for example,

[test()
-> let p := choco/makeProblem("Test Problem", 10),
vars := list{choco/makeIntVar(p, "v", 1, i) | i in (2 .. 11)},
obj := makeMapColouringObjective(list<integer>(1))
in
( printf("This is a test")
)
]

gives

gamecsp> test()
eval[0]> This is a testunknown
gamecsp>

Thanks,

Paidi