Put the code inside a horus namespace
This commit is contained in:
@@ -5,6 +5,8 @@
|
||||
#include "LiftedUtils.h"
|
||||
|
||||
|
||||
namespace horus {
|
||||
|
||||
namespace LiftedUtils {
|
||||
|
||||
std::unordered_map<std::string, unsigned> symbolDict;
|
||||
@@ -130,3 +132,5 @@ operator<< (std::ostream& os, const Substitution& theta)
|
||||
return os;
|
||||
}
|
||||
|
||||
} // namespace horus
|
||||
|
||||
|
Reference in New Issue
Block a user