# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1418332470 -3600
# Node ID 96861e3f8cc5d87c421a4fa9e66b0ea9e85da481
# Parent  54712aa2d3ee2ef2dae152f405968d6f356fa792
made CFGPrinterObserver reset (upon close) properly

diff -r 54712aa2d3ee -r 96861e3f8cc5 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinterObserver.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinterObserver.java	Thu Dec 11 20:02:36 2014 +0100
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinterObserver.java	Thu Dec 11 22:14:30 2014 +0100
@@ -207,6 +207,8 @@
         if (cfgPrinter != null) {
             cfgPrinter.close();
             cfgPrinter = null;
+            curDecorators = Collections.emptyList();
+            curMethod = null;
         }
     }
 }