summaryrefslogtreecommitdiff
path: root/src/regex.ur
diff options
context:
space:
mode:
Diffstat (limited to 'src/regex.ur')
-rw-r--r--src/regex.ur7
1 files changed, 1 insertions, 6 deletions
diff --git a/src/regex.ur b/src/regex.ur
index ddc7793..cc039e2 100644
--- a/src/regex.ur
+++ b/src/regex.ur
@@ -1,4 +1,5 @@
(* Copyright 2015 the Massachusetts Institute of Technology
+Copyright 2015 Benjamin Barenblat
Licensed under the Apache License, Version 2.0 (the "License"); you may not use
this file except in compliance with the License. You may obtain a copy of the
@@ -13,12 +14,6 @@ specific language governing permissions and limitations under the License. *)
structure FFI = Regex__FFI
-type t = FFI.regex
-
-val compile = FFI.compile True
-
-val compile_case_insensitive = FFI.compile False
-
fun match regex input =
(* Perform the match. *)
let