updated jflex to hopefully fixed compilation on Windows

sankalpgambhir · Jul 19, 2018 · 8f4e967 · 8f4e967
1 parent 8a2f1d6
commit 8f4e967
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/lazabs/horn/parser/HornReader.scala b/src/lazabs/horn/parser/HornReader.scala
@@ -59,7 +59,8 @@ import scala.collection.mutable.{HashMap => MHashMap, ArrayBuffer,
 
 object HornReader {
   def apply(fileName: String): Seq[HornClause] = {
-    val in: InputStream = new FileInputStream(fileName)
+    val in = new java.io.BufferedReader (
+                 new java.io.FileReader(fileName))
     val lexer = new HornLexer(in)
     val parser = new Parser(lexer)
     val tree = parser.parse()

diff --git a/tools/JFlex.jar b/tools/JFlex.jar