From 1a488c17598045ad8d719e6ae0d5e01f132dd546 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20=C3=85man=20Pohjola?=
 <johannes.amanpohjola@data61.csiro.au>
Date: Fri, 7 Jun 2019 07:51:04 +1000
Subject: [PATCH] Update filterProg for methods renamed upstream

---
 examples/filterProgScript.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/filterProgScript.sml b/examples/filterProgScript.sml
index aa69078a79..0bf86f4d04 100644
--- a/examples/filterProgScript.sml
+++ b/examples/filterProgScript.sml
@@ -31,7 +31,7 @@ val stdErr_print = regexpMisc.stdErr_print;
 fun regexpc r =
  let open listSyntax regexpSyntax
      val _ = stdErr_print "Compiling regexp to DFA by deduction (can be slow) :\n"
-     val regexp_tm = regexpSyntax.mk_regexp r
+     val regexp_tm = regexpSyntax.regexp_to_term r
      val compile_thm = Count.apply regexpEval ``regexp_compiler$compile_regexp ^regexp_tm``
      val triple = rhs (concl compile_thm)
      val [t1,t2,t3] = strip_pair triple