Included a missing import to GenPeer.

diff --git a/src/main/gov/nasa/jpf/tool/GenPeer.java b/src/main/gov/nasa/jpf/tool/GenPeer.java
index 59d7101f94990cd8150a480df2e074a807e29564..803e39ab7c9d68e718d16f476c3de276d9c236bc 100644 (file)
--- a/src/main/gov/nasa/jpf/tool/GenPeer.java
+++ b/src/main/gov/nasa/jpf/tool/GenPeer.java
@@ -34,6 +34,7 @@ public class GenPeer {
   static final String SYS_PKG = "gov.nasa.jpf.vm";
   static final String MJI_ENV = "gov.nasa.jpf.vm.MJIEnv";
   static final String NATIVEPEER = "gov.nasa.jpf.vm.NativePeer";
+  static final String MJI_ANNOTATION = "gov.nasa.jpf.annotation.MJI";
   static final String INDENT = "  ";
   static final String SUPERCLASS = "NativePeer";
   static final String MJI_ANN = "@MJI";
@@ -148,6 +149,9 @@ public class GenPeer {
     pw.print("import ");
     pw.print(NATIVEPEER);
     pw.println(";");
+    pw.print("import ");
+    pw.print(MJI_ANNOTATION);
+    pw.println(";");
     pw.println();
 
     String cname = cls.getName().replace('.', '_');