search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Compile error when importing models shipping with Alloy4 #13

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 

The plugin reports an error with any util module imported.

module foo

open util/boolean as boolean
...

shows an error on the module line that says "IOException occurred:
/models/util/boolean.als (no such file or directory)".

Original issue reported on code.google.com by daniel.l...@gmail.com on 11 Apr 2007 at 7:49

GoogleCodeExporter commented 8 years ago 
The problem should be fixed on SVN (see the Reporter class).

Original comment by daniel.l...@gmail.com on 11 Apr 2007 at 8:21