including files

Aug 21, 2014 at 6:10 AM
Edited Aug 21, 2014 at 6:11 AM
I've seen at http://stackoverflow.com/questions/22812828/include-one-dafny-file-in-another that including files is supported; but when I try it (like that) I get "EOF expected".

I have 1.8.2 under Mavericks.

What's the exact syntax? And where is it (and other similar things) described?

Thanks!
Aug 21, 2014 at 4:58 PM
Here is a link to the test case for Include:

https://dafny.codeplex.com/SourceControl/latest#Test/dafny0/Include.dfy

Which shows the syntax, and is also linked to from the SO question.

I am succesfully using the syntax as it is in the SO question and test case. Can you post the exact code you are using that is causing the problem?
Marked as answer by rustanleino on 9/8/2014 at 7:14 PM