renaming

tancaj · Oct 19, 2022 · b0e3430 · b0e3430
1 parent 9f8bc50
commit b0e3430
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/include/concepts.hpp → include/constraints.hpp b/include/concepts.hpp → include/constraints.hpp
diff --git a/include/property.hpp b/include/property.hpp
@@ -1,7 +1,7 @@
 #ifndef PROPERTY_H
 #define PROPERTY_H
 
-#include "concepts.hpp"
+#include "constraints.hpp"
 
 namespace pr {
 namespace detail {

diff --git a/include/serializer.hpp b/include/serializer.hpp
@@ -3,7 +3,7 @@
 
 #include <string>
 
-#include "concepts.hpp"
+#include "constraints.hpp"
 #include "iteration.hpp"
 #include "model_state.hpp"
 #include "property.hpp"