Commit 06a19cb0 authored by Mahmoud Mahmoud's avatar Mahmoud Mahmoud

added include to memory.h

parent 33faa6c4
......@@ -20,6 +20,7 @@
#include <fstream>
#include <stdexcept>
#include <iomanip>
#include <memory>
#include "dddmp.h"
#include "cuddObj.hh"
......@@ -1664,4 +1665,4 @@ static bool read_from_file(const Cudd& manager, SCOTS2_SymbolicSet& set, BDD& bd
};
#endif
\ No newline at end of file
#endif
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment