1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed ce7c7d7

.

  • Participants
  • Parent commits 20dc30c
  • Branches default

Comments (0)

Files changed (1)

File cadastr.ml

View file
  • Ignore whitespace
           map_rw_tree_cur ['v] M.empty
         ;
 
-      end
+      end  (* module Tree *)
     ;
 
-  end
+  end  (* module Sfun *)
 ;