diff -r 244df77507c2 -r 253d1ccb65de core_marking2/docdiff_test4.scala
--- a/core_marking2/docdiff_test4.scala	Sun Sep 15 12:57:59 2024 +0100
+++ b/core_marking2/docdiff_test4.scala	Mon Jul 21 16:38:07 2025 +0100
@@ -1,9 +1,12 @@
 
-import C2._
+
+def urbanmain() = {
+  import C2._
 
-val urban_list1 = List("a", "b", "b", "c", "d")
-val urban_list2 = List("d", "b", "d", "b", "d")
+  val urban_list1 = List("a", "b", "b", "c", "d")
+  val urban_list2 = List("d", "b", "d", "b", "d")
 
-assert(overlap(urban_list1, urban_list2) == 0.5384615384615384)
-assert(overlap(urban_list1, urban_list1) == 1.0)
-assert(overlap(urban_list2, urban_list2) == 1.0)
+  assert(overlap(urban_list1, urban_list2) == 0.5384615384615384)
+  assert(overlap(urban_list1, urban_list1) == 1.0)
+  assert(overlap(urban_list2, urban_list2) == 1.0)
+}