fix-nml-determinism.patch

matthijs, 2015-05-02 10:49

Download (521 Bytes)

View differences:

nml/actions/action0.py
869 869
            if name in extra_names:
870 870
                for extra_name in extra_names[name]:
871 871
                    self.mappings.append( (idx, extra_name) )
872
        # Sort to keep the output deterministic
873
        self.mappings.sort()
872 874

  
873 875
    def write(self, file):
874 876
        file.print_bytex(self.num)