# HG changeset patch
# User Windel Bouwman
# Date 1397819325 -7200
# Node ID 67a584582aeea06650bba22f3f2fc440fca84520
# Parent  78c27013f02e2ece8c1562467597c8b2b022461d
Small change to hexfile

diff -r 78c27013f02e -r 67a584582aee python/utils/hexfile.py
--- a/python/utils/hexfile.py	Fri Apr 18 11:20:11 2014 +0200
+++ b/python/utils/hexfile.py	Fri Apr 18 13:08:45 2014 +0200
@@ -84,10 +84,10 @@
         size = sum(r.Size for r in self.regions)
         return 'Hexfile containing {} bytes'.format(size)
 
-    def dump(self):
-        print(self)
+    def dump(self, outf):
+        print(self,file=outf)
         for r in self.regions:
-            print(r)
+            print(r, file=outf)
 
     def __eq__(self, other):
         regions = self.regions