Change namespace name to be in Pascal case
This commit is contained in:
@@ -5,7 +5,7 @@
|
||||
#include "LiftedUtils.h"
|
||||
|
||||
|
||||
namespace horus {
|
||||
namespace Horus {
|
||||
|
||||
namespace LiftedUtils {
|
||||
|
||||
@@ -132,5 +132,5 @@ operator<< (std::ostream& os, const Substitution& theta)
|
||||
return os;
|
||||
}
|
||||
|
||||
} // namespace horus
|
||||
} // namespace Horus
|
||||
|
||||
|
Reference in New Issue
Block a user