Clafer compiler generates output file with incorrect name

[lpassos]

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]

fixed