1 files changed, 12 insertions, 0 deletions
diff --git a/dimen.hh b/dimen.hh
new file mode 100644
index 0000000000..4ee17ea140
--- /dev/null
+++ b/dimen.hh
@@ -0,0 +1,12 @@
+#ifndef DIMEN_HH
+#define DIMEN_HH
+
+#include "real.hh"
+#include "string.hh"
+
+Real parse_dimen(String);
+Real convert_dimen(Real, String);
+String print_dimen(Real);
+
+#endif
+