From: Ben Pfaff Date: Tue, 3 Oct 2006 09:41:00 +0000 (+0000) Subject: Fix logarithms. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b492098dbb2bd50aef4104bcef418ba53f30a4eb;hp=b492098dbb2bd50aef4104bcef418ba53f30a4eb;p=pintos-anon Fix logarithms. Thanks to Haobo Xu . ---