lib/ravensat/solver.rb in ravensat-0.3.2 vs lib/ravensat/solver.rb in ravensat-1.0.0

@@ -22,10 +22,10 @@
         system("#{@name} #{@input_file.to_path} #{@output_file.to_path}")
       end
 
       decoder = DimacsDecoder.new
       model = @output_file.read.split("\n")
-      decoder.decode(model, encoder.name_table)
+      decoder.decode(model, cnf)
     end
 
   end
 end