diff options
| author | Hugo Herbelin | 2019-04-05 19:53:48 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-10 12:05:32 +0200 |
| commit | f612bee8c1723b4d66fe1ba93dbb23f5bd201ae6 (patch) | |
| tree | 454cd553f1eb1c11e096162c8c8ac62e830ea0e2 /ide | |
| parent | d338a42c261287439dd6e9bc07b40a68f2a71786 (diff) | |
Moving a standard string function (is_prefix) from Minilib to CString.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 2 | ||||
| -rw-r--r-- | ide/minilib.ml | 10 | ||||
| -rw-r--r-- | ide/minilib.mli | 3 |
3 files changed, 1 insertions, 14 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index e0ae18dddc..70fa61b208 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1371,7 +1371,7 @@ let read_coqide_args argv = |"-coqtop-flags" :: flags :: args-> Coq.ideslave_coqtop_flags := Some flags; filter_coqtop coqtop project_files bindings_files out args - |arg::args when out = [] && Minilib.is_prefix_of "-psn_" arg -> + |arg::args when out = [] && CString.is_prefix "-psn_" arg -> (* argument added by MacOS during .app launch *) filter_coqtop coqtop project_files bindings_files out args |arg::args -> filter_coqtop coqtop project_files bindings_files (arg::out) args diff --git a/ide/minilib.ml b/ide/minilib.ml index 04beb212ab..926ad27abc 100644 --- a/ide/minilib.ml +++ b/ide/minilib.ml @@ -68,13 +68,3 @@ let coqide_config_dirs () = coqide_config_home () :: coqide_system_config_dirs () @ [coqide_default_config_dir ()] - -let is_prefix_of pre s = - let i = ref 0 in - let () = while (!i < (String.length pre) - && !i < (String.length s) - && pre.[!i] = s.[!i]) do - incr i - done - in !i = String.length pre - diff --git a/ide/minilib.mli b/ide/minilib.mli index 7022d7d256..a9d26ee7d2 100644 --- a/ide/minilib.mli +++ b/ide/minilib.mli @@ -43,6 +43,3 @@ val coqide_config_dirs : unit -> string list (* The ordered list of directories where a data file is searched by default *) val coqide_data_dirs : unit -> string list - -(* Misc *) -val is_prefix_of : string -> string -> bool |