More describers

[hcoop/domtool2.git] / src / domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index 969d957..642f71c 100644 (file)
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -798,8 +798,8 @@ fun registerDescriber f = describers := f :: !describers
 
 fun describeOne arg = String.concat (map (fn f => f arg) (rev (!describers)))
 
-val line = "-------------------------------\n"
-val dline = "===============================\n"
+val line = "--------------------------------------------------------------\n"
+val dline = "==============================================================\n"
 
 fun describe dom =
     String.concat (List.mapPartial