[MLton-commit] r5236

[Vesa Karvonen]

Minor simplification.

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/def-use-util.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/def-use-util.el
===================================================================
--- mlton/trunk/ide/emacs/def-use-util.el	2007-02-17 17:09:03 UTC (rev 5235)
+++ mlton/trunk/ide/emacs/def-use-util.el	2007-02-17 17:10:51 UTC (rev 5236)
@@ -149,9 +149,9 @@
   "Returns non-nil iff the modification time of `attr1' is later than the
 modification time of `attr2'.  Note that this also returns nil when either
 one of the modification times is nil."
-  (when (and attr1 attr2)
-    (> (def-use-attr-mod-time-as-double attr1)
-       (def-use-attr-mod-time-as-double attr2))))
+  (and attr1 attr2
+       (> (def-use-attr-mod-time-as-double attr1)
+          (def-use-attr-mod-time-as-double attr2))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;