Skip to content
Permalink
Browse files

Merge pull request #659 from CakeML/filterfix

Update filterProg for methods renamed upstream
  • Loading branch information...
xrchz committed Jun 6, 2019
2 parents 38556cc + 1a488c1 commit 57a8a31ea045f3f546c1be2bc98ce345e492bdcb
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 57a8a31

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