Commit 8e1d5642 authored by Bruno Guillaume's avatar Bruno Guillaume

remove trailing white spaces

parent a5db32b3
true: package(unix, conll, dep2pict, camomile, cairo2, log) true: package(unix, conll, dep2pict, camomile, cairo2, log)
true: bin_annot
...@@ -364,7 +364,6 @@ module Ast = struct ...@@ -364,7 +364,6 @@ module Ast = struct
strat_loc: Loc.t; strat_loc: Loc.t;
} }
(** a GRS: graph rewriting system *) (** a GRS: graph rewriting system *)
type module_or_include = type module_or_include =
| Modul of modul | Modul of modul
......
...@@ -67,4 +67,3 @@ module Domain : sig ...@@ -67,4 +67,3 @@ module Domain : sig
(** [check_feature_name ~loc domain feature_name] fails iff a domain is set and [feature_name] is not defined in the current domain. *) (** [check_feature_name ~loc domain feature_name] fails iff a domain is set and [feature_name] is not defined in the current domain. *)
val check_feature_name: ?loc:Loc.t -> ?domain:t -> feature_name -> unit val check_feature_name: ?loc:Loc.t -> ?domain:t -> feature_name -> unit
end end
...@@ -244,4 +244,3 @@ and const = parse ...@@ -244,4 +244,3 @@ and const = parse
| '(' { LPAREN } | '(' { LPAREN }
| ')' { RPAREN } | ')' { RPAREN }
| [^'(' ')' ' ']+ as id { ID id } | [^'(' ')' ' ']+ as id { ID id }
...@@ -193,4 +193,3 @@ module Concat_item = struct ...@@ -193,4 +193,3 @@ module Concat_item = struct
| Feat of (Gid.t * feature_name) | Feat of (Gid.t * feature_name)
| String of string | String of string
end (* module Concat_item *) end (* module Concat_item *)
...@@ -103,4 +103,3 @@ module Concat_item : sig ...@@ -103,4 +103,3 @@ module Concat_item : sig
| Feat of (Gid.t * feature_name) | Feat of (Gid.t * feature_name)
| String of string | String of string
end (* module Concat_item *) end (* module Concat_item *)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment