use astring instead of re #19
Closed
Conversation
@@ -35,10 +35,10 @@ let get_cmd_line () = | |||
|
|||
let create () = | |||
get_cmd_line () >>= fun cmd_line -> | |||
let entries = Re_str.(split (regexp_string " ") cmd_line) in |
Merged
Now #18 is merged this can be closed. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
hello world is linked otherwise with re https://berlin.ccc.de/~hannes/mirage-console-xen.svg