Undefined name 'ms' in cozy/syntax_tools.py

[cclauss]

flake8 testing of https://github.com/CozySynthesizer/cozy on Python 3.6.3

$ flake8 . --count --select=E901,E999,F821,F822,F823 --show-source --statistics

./cozy/syntax_tools.py:827:142: F821 undefined name 'ms'
                    yield self.update_repl(ctx, lambda r: lambda x: syntax.Spec(s.name, s.types, s.extern_funcs, s.statevars, s.assumptions, ms, s.header, s.footer))
                                                                                                                                             ^
1     F821 undefined name 'ms'
1

[Calvin-L]

Thanks for catching this!