Running the N-Queens example on Linux fails because filename is Pluscal not PlusCal

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities

Other

1.29k stars 200 forks source link

Running the N-Queens example on Linux fails because filename is Pluscal not PlusCal #7

Closed zeonglow closed 6 years ago

zeonglow commented 6 years ago

I fixed this myself by renaming some files, I don't yet have the woo to make a pull request. I have absolutely no idea what I am doing BTW, I was just trying out an example to test I had installed the TLA Toolbox correctly.

lemmy commented 6 years ago

Thanks for the report, fixed with commit 3567f985605d0dc340b55c7f4f66883dc7b3eed2