mjc2wsl, function generation fixed to be in line with the updates to FermaT

[mjc2wsl.git] / src / com / quemaster / transformations / mjc2wsl / MicroJavaInput.java

diff --git a/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java b/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java
index 4f5e45a..15fed7a 100644 (file)
--- a/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java
+++ b/src/com/quemaster/transformations/mjc2wsl/MicroJavaInput.java
@@ -1,7 +1,7 @@
 package com.quemaster.transformations.mjc2wsl;
 
 /*
- Copyright (C) 2014  Doni Pracner
+ Copyright (C) 2014,2015  Doni Pracner
 
  This file is part of mjc2wsl.
 
@@ -26,7 +26,7 @@ import java.util.HashMap;
 
 public class MicroJavaInput {
        private HashMap<Integer, String> opMap;
-       public String opCodeFile = "mj-bytecodes.properties";
+       public String opCodeFile = "/mj-bytecodes.properties";
        private InputStream mainIn;
        int counter = -1;