Erase temp file

RicardoRibeiroRodrigues · Dec 11, 2023 · 9119fa6 · 9119fa6
1 parent 63fe24b
commit 9119fa6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main.cpp b/src/main.cpp
@@ -107,6 +107,10 @@ int main(int argc, char **argv)
         }
     }
 
+
+    // Delete temp file
+    remove("temp.stp");
+
     if (yyin != nullptr)
     {
         fclose(yyin);