diff options
Diffstat (limited to 'Carpet/Requirements/src/clauses.hh')
| -rw-r--r-- | Carpet/Requirements/src/clauses.hh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Carpet/Requirements/src/clauses.hh b/Carpet/Requirements/src/clauses.hh index 368f45772..d5441c880 100644 --- a/Carpet/Requirements/src/clauses.hh +++ b/Carpet/Requirements/src/clauses.hh @@ -8,10 +8,10 @@ #include <clause.hh> -using namespace std; - namespace Requirements { - + + using namespace std; + struct clauses_t { vector<clause_t> reads, writes; clauses_t() {} |