Skip to content
Permalink
Browse files

Update filterProg for methods renamed upstream

  • Loading branch information...
IlmariReissumies committed Jun 6, 2019
1 parent 38556cc commit 1a488c17598045ad8d719e6ae0d5e01f132dd546
Showing with 1 addition and 1 deletion.
  1. +1 −1 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

0 comments on commit 1a488c1

Please sign in to comment.
You can’t perform that action at this time.