search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Clafer compiler generates output file with incorrect name #12

Closed lpassos closed 12 years ago

lpassos commented 12 years ago

Version: v0.1.11-1-2012 Severity: Low

Description: the output filename is being generated with an incorrect filename.

How to reproduce: create a simple model and name it test.clafer.

Expected result: an output file named test.als

Result: a file named tes.als is produced

kbak commented 12 years ago

fixed