From: Nastaran Shafiei <nastaran.shafiei@nasa.gov>
Date: Wed, 7 Mar 2018 23:15:21 +0000 (-0800)
Subject: Included a missing import to GenPeer.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=743182086e440a099af104351188799899011ab0

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 59d7101..803e39a 100644
--- 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('.', '_');