Replace FileInputStream with FileReader (#11)

Co-authored-by: Ola Wingbrant (sssowo) <[email protected]>
uuverifiers · Feb 28, 2024 · f0a67a1 · f0a67a1
1 parent d9cccea
commit f0a67a1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/tricera/params/TriCeraParameters.scala b/src/tricera/params/TriCeraParameters.scala
@@ -29,7 +29,7 @@
 
 package tricera.params
 
-import java.io.FileInputStream
+import java.io.FileReader
 
 import lazabs.GlobalParameters
 import lazabs.horn.abstractions.StaticAbstractionBuilder.AbstractionType
@@ -377,7 +377,7 @@ class TriCeraParameters extends GlobalParameters {
       showHelp
       throw new MainException(s"unrecognized option '$arg'")
     case fn :: rest =>
-      fileName = fn; in = new FileInputStream(fileName); parseArgs(rest)
+      fileName = fn; in = new FileReader(fileName); parseArgs(rest)
   }
 
   var doNotExecute : Boolean = false