Merge pull request #384 from VeriFIT/remove_unused_import

Remove unused import
VeriFIT · Nov 21, 2024 · f6321eb · f6321eb
2 parents 2c94c20 + 24763de
commit f6321eb
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/include/mata/nft/builder.hh b/include/mata/nft/builder.hh
@@ -3,14 +3,11 @@
 #ifndef LIBMATA_NFT_BUILDER_HH
 #define LIBMATA_NFT_BUILDER_HH
 
-#include "nft.hh"
-#include <bits/stdc++.h>
-
 #include "mata/nfa/builder.hh"
+#include "nft.hh"
 
 #include <filesystem>
 
-
 /**
  * Namespace providing options to build NFAs.
  */