aaronksaunders/ci.alloy.acs.books — pull request #2 by grantges (2013-07-11 15:50:25+00:00)
Title: Sync function parameters had mismatched order 

Apparently the order of method and model has been reversed in later versions of Alloy. Swapping position of method and model in function declaration to fix this.