src/Pure/Tools/dump.scala

 
       try {
         val use_theories_result =
           session.use_theories(used_theories.map(_.theory),
             unicode_symbols = unicode_symbols,
-            share_common_data = true,
             progress = progress,
             checkpoints = deps.dump_checkpoints,
             commit = Some(Consumer.apply _))
 
         val bad_theories = Consumer.shutdown()