From: bdemsky Date: Thu, 2 Jun 2005 20:26:27 +0000 (+0000) Subject: Rewrote safetransclosure method so its obvious it is correct. X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=1f785a8dec4eee153efa32c710e46e7917dd4742;hp=1f785a8dec4eee153efa32c710e46e7917dd4742 Rewrote safetransclosure method so its obvious it is correct. ---