Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected slip
authorhaftmann
Thu, 03 Aug 2017 12:49:59 +0200
changeset 66327 f44f7cf3d1a1
parent 66326 9eb8a2d07852
child 66328 cf9ce8016da1
corrected slip
src/Tools/Code/code_scala.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_scala.ML	Thu Aug 03 12:49:58 2017 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu Aug 03 12:49:59 2017 +0200
@@ -83,7 +83,6 @@
           let
             val (vs_tys, body) = Code_Thingol.unfold_abs t;
             val (ps, vars') = fold_map (print_abs_head tyvars) vs_tys vars;
-            val vars' = intro_vars (map_filter fst vs_tys) vars;
           in
             brackets (ps @| print_term tyvars false some_thm vars' NOBR body)
           end
isabelle