This commit is contained in:
James Cherry 2020-03-29 15:47:20 -07:00
parent 950b7c31a0
commit e01c39b11c
1 changed files with 1 additions and 0 deletions

View File

@ -32,6 +32,7 @@
#include "Sim.hh"
#if CUDD
// https://davidkebo.com/cudd
#include "cudd.h"
#endif // CUDD