Fix variable type casting warnings (#131)

* fix variable casting * typo
msoeken · Aug 8, 2022 · 8ce7efe · 8ce7efe
1 parent 514a3df
commit 8ce7efe
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/include/kitty/constructors.hpp b/include/kitty/constructors.hpp
@@ -1256,10 +1256,11 @@ bool create_from_formula( TT& tt, const std::string& expression, const std::vect
 
   /* create input truth tables */
   std::vector<TT> inputs_tts( tt.num_vars() );
-  for ( uint8_t i = 0u; i < tt.num_vars(); ++i )
+  assert( tt.num_vars() < 256 );
+  for ( uint32_t i = 0u; i < tt.num_vars(); ++i )
   {
     auto var = tt.construct();
-    create_nth_var( var, i );
+    create_nth_var( var, static_cast<uint8_t>( i ) );
     inputs_tts[i] = var;
   }