1.1 --- a/translator.py Mon Oct 31 21:50:41 2016 +0100
1.2 +++ b/translator.py Mon Oct 31 21:53:38 2016 +0100
1.3 @@ -45,8 +45,9 @@
1.4 self.check_output()
1.5
1.6 for module in self.importer.modules.values():
1.7 - tm = TranslatedModule(module.name, self.importer, self.deducer, self.optimiser)
1.8 - tm.translate(module.filename, join(output, "%s.c" % module.name))
1.9 + if module.name != "native":
1.10 + tm = TranslatedModule(module.name, self.importer, self.deducer, self.optimiser)
1.11 + tm.translate(module.filename, join(output, "%s.c" % module.name))
1.12
1.13 # Classes representing intermediate translation results.
1.14