From f0a67a17fd91f5b418daebfcd6268d6434c579be Mon Sep 17 00:00:00 2001
From: woosh <ola@wingbrant.info>
Date: Wed, 28 Feb 2024 12:58:40 +0100
Subject: [PATCH] Replace FileInputStream with FileReader (#11)

Co-authored-by: Ola Wingbrant (sssowo) <ola.wingbrant@scania.com>
---
 src/tricera/params/TriCeraParameters.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tricera/params/TriCeraParameters.scala b/src/tricera/params/TriCeraParameters.scala
index 286eefe..cc047d2 100644
--- 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