Please copy paste your model target than showing a screenshot, it will be easier for people to test it. Here the issue may be due to the presence of the prime symbol as macro arguments. In general I would advise against using macros as much as you can. There are also issues with the way you update days, I suggest you refer to this post for a nice example of the canonical way to write models.
EDIT: notice that in Alloy 6, the prime symbol cannot be used for identifiers anymore, the prime symbol now denotes the value of the variable in the next instant. We have an on-going book about Alloy 6 here.