summaryrefslogtreecommitdiff
path: root/V2VM.java
diff options
context:
space:
mode:
Diffstat (limited to 'V2VM.java')
-rw-r--r--V2VM.java10
1 files changed, 2 insertions, 8 deletions
diff --git a/V2VM.java b/V2VM.java
index 9fdfc73..0f0eab6 100644
--- a/V2VM.java
+++ b/V2VM.java
@@ -1,5 +1,3 @@
-import java.util.logging.Logger;
-import java.util.logging.ConsoleHandler;
import java.io.*;
import java.util.ArrayList;
@@ -23,10 +21,6 @@ public class V2VM {
public static void main(String[] args) {
- Logger log = Logger.getLogger(V2VM.class.getName());
- ConsoleHandler consoleHandler = new ConsoleHandler();
- consoleHandler.setFormatter(new MinimalSimpleFormatter());
- log.addHandler(consoleHandler);
try {
System.in.mark(-1);
@@ -36,10 +30,10 @@ public class V2VM {
VaporProgram prog = parseVapor(System.in, System.out);
- log.info(String.format("Generating CFGs..."));
+ MinimalLogger.info(String.format("Generating CFGs..."));
CFGSimp cfv = new CFGSimp(prog, strProg);
ArrayList<ControlFlowGraph> cfgs = cfv.getCFGs();
- log.info(String.format("Spilling Everywhere..."));
+ MinimalLogger.info(String.format("Spilling Everywhere..."));
SpillEverywhere spill = new SpillEverywhere(prog, strProg);
} catch (IOException e) {