Fixing #1153.
Merge pull request #1156 from kframework/fixAssocUpdater

Fixing #1153.