Skip to content
Permalink
Browse files

Really make fix for change to ThmSetData API

  • Loading branch information...
mn200 committed Apr 10, 2019
1 parent f270479 commit 3ce6ad702be68d639bf61ff0454511bbca4d6b12
Showing with 1 addition and 1 deletion.
  1. +1 −1 characteristic/cfLetAutoLib.sml
@@ -41,7 +41,7 @@ fun get_frame_thms () = !FRAME_THMS;

fun new_exporter nm add =
ThmSetData.new_exporter {
efns = {add = fn {named_thms,...} => add (map #2 named_thms),
efns = {add = fn {named_thms,thy} => add thy named_thms,
remove = fn _ => ()},
settype = nm
} |> #export

0 comments on commit 3ce6ad7

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