From 3f5c1f2ebc7ea3a8233196117b5526da59f95579 Mon Sep 17 00:00:00 2001
From: Guerin Maxime <maxime91.guerin@gmail.com>
Date: Tue, 28 Mar 2023 13:36:40 +0200
Subject: [PATCH] modif for merge

---
 lib/lib.dart  | 1 -
 lib/main.dart | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/lib.dart b/lib/lib.dart
index 36304447..f61662bb 100644
--- a/lib/lib.dart
+++ b/lib/lib.dart
@@ -618,7 +618,6 @@ class ParsingDemand {
   ParsingDemand({
     this.lib1,
     this.libWindows,
-    this.libWindows,
     required this.lib2,
     required this.rootIsolateToken,
     required this.promptPassed,
diff --git a/lib/main.dart b/lib/main.dart
index 0205baa1..a9d80383 100644
--- a/lib/main.dart
+++ b/lib/main.dart
@@ -455,7 +455,7 @@ class _MyHomePageState extends State<MyHomePage> {
       fileState = FileState.opening;
     });
 
-    var filePath = await ModelFilePath.getFilePath();
+    var filePath = await ModelFilePath.getFilePath(); // getting file path
 
     if (filePath == null) {
       print("file not found");