diff options
Diffstat (limited to 'brep/mod-repository-details')
| -rw-r--r-- | brep/mod-repository-details | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/brep/mod-repository-details b/brep/mod-repository-details index 3eb5e99..5f1e93f 100644 --- a/brep/mod-repository-details +++ b/brep/mod-repository-details @@ -8,6 +8,7 @@ #include <odb/forward.hxx> // database #include <brep/types> +#include <brep/utility> #include <brep/module> #include <brep/options> |