Permalink
Browse files

reinstate a parenthesis that was somehow missing

  • Loading branch information...
1 parent c9a7995 commit 6a362645b3837940056e59c28a9a985a82bc673b @xrchz xrchz committed Feb 10, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/opentheory/Opentheory.sml
@@ -85,6 +85,7 @@ in th end
handle HOL_ERR _ => (
Feedback.HOL_MESG(Parse.term_to_string c);
raise ERR "axiom_from_db" "not found"
+ )
end
fun st_(st,{stack,dict,thms,...}) = {stack=st,dict=dict,thms=thms}

0 comments on commit 6a36264

Please sign in to comment.