From f66143a2eadae2bd25f61565fc44f1efa0856509 Mon Sep 17 00:00:00 2001 From: Brett van de Sande Date: Fri, 30 Jan 2009 17:31:04 -0700 Subject: [PATCH] remove work-around for Bug #1507, since we are going to non-overlapping intervals in elec10 --- KB/dynamics.cl | 1 - 1 file changed, 1 deletion(-) diff --git a/KB/dynamics.cl b/KB/dynamics.cl index 36ce5334f..2513645f6 100644 --- a/KB/dynamics.cl +++ b/KB/dynamics.cl @@ -2199,7 +2199,6 @@ (debug "start NSL~%") (not (vector ?b (accel ?b :time ?t) zero)) (not (massless ?b)) - (not (disallow nsl ?b ?t)) ; See Bug #1507 (debug "finish NSL~%") ) :effects