diff options
Diffstat (limited to 'path/fixed.mli')
-rwxr-xr-x | path/fixed.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/path/fixed.mli b/path/fixed.mli index 862409b..111187c 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -22,10 +22,6 @@ module Make(Point:P) : sig type t - (** Return the identifier for this path *) - val id - : t -> int - (** Create a path from a builder *) val to_fixed : (module BUILDER with type t = 'a) -> 'a -> t |