diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-27 16:17:53 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-27 16:17:53 +0200 |
| commit | f9a307a50b5ce67b67d2b53e8c1334ea23ffd997 (patch) | |
| tree | 5a591d0d03c9623abc02aaa3773458193f67ffa1 /kernel/satgen.h | |
| parent | bcd2625a8247ddbcf4a8a819eadcb03846537223 (diff) | |
namespace Yosys
Diffstat (limited to 'kernel/satgen.h')
| -rw-r--r-- | kernel/satgen.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index 692c6e7f..84a47c43 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -26,6 +26,9 @@ #include "kernel/macc.h" #include "libs/ezsat/ezminisat.h" + +YOSYS_NAMESPACE_BEGIN + typedef ezMiniSAT ezDefaultSAT; struct SatGen @@ -1158,4 +1161,6 @@ struct SatGen } }; +YOSYS_NAMESPACE_END + #endif |