# HG changeset patch
# User haftmann
# Date 1281689483 -7200
# Node ID 9bfcb1507c6b02d0f798842cf2174fa1eab9d839
# Parent  04d220477074de921448dee40c431728f68252c4
import swap prevents strange failure of SML code generator for datatypes

diff -r 04d220477074 -r 9bfcb1507c6b src/HOL/Finite_Set.thy
--- a/src/HOL/Finite_Set.thy	Fri Aug 13 10:38:28 2010 +0200
+++ b/src/HOL/Finite_Set.thy	Fri Aug 13 10:51:23 2010 +0200
@@ -6,7 +6,7 @@
 header {* Finite sets *}
 
 theory Finite_Set
-imports Power Option
+imports Option Power
 begin
 
 subsection {* Predicate for finite sets *}