Could not process a single mln file on Windows

[GoogleCodeExporter]

What steps will reproduce the problem?

D:\Work\alchemy-22\alchemy-2\bin>infer -i ..\exdata\smoker.mln -e 
..\exdata\smoker.db -r smoking.results -q Smokes -ms -maxSteps 20000

result in:

----------------- end of parameters ----------------
Reading formulas and evidence predicates...
..\exdata\smoker.mln3944_tmpalchemy.mln
ERROR in ..\exdata\smoker.mln3944: line 12, col 9: parse error, unexpected $unde
fined, expecting ZZ_STRING
Num of errors detected = 1
total time taken = 0 secs

What is the expected output? What do you see instead?


What version of the product are you using? On what operating system?

Alchemy 2 compiled on Windows with Cygwin.

Please provide any additional information below.

Original issue reported on code.google.com by [email protected] on 21 Jan 2015 at 11:52