Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

trivial edit

  • Loading branch information...
commit 808200bf030117c9581f418f03181a1877017a45 1 parent 76c9bb7
@konrad-slind konrad-slind authored
Showing with 1 addition and 2 deletions.
  1. +1 −2  src/postkernel/Theory.sml
View
3  src/postkernel/Theory.sml
@@ -893,8 +893,7 @@ fun new_theory str =
---------------------------------------------------------------------- *)
fun try_theory_extension f x =
- let infix ?>
- open Term
+ let open Term
val tnames1 = map fst (types"-")
val cnames1 = map (fst o dest_const) (constants"-")
fun revert _ =
Please sign in to comment.
Something went wrong with that request. Please try again.