X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fvfm.c;h=6944df2b7d530f287cc5278a3bc392ae47f4fc4f;hb=397e4b99a356c51cab364f14373c15982db14d87;hp=5afa838ddbd913303db79580c1aeadf7c11a20cd;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/vfm.c b/src/vfm.c
index 5afa838ddb..6944df2b7d 100644
--- a/src/vfm.c
+++ b/src/vfm.c
@@ -584,7 +584,9 @@ const struct case_sink_class null_sink_class =
 struct ccase *
 lagged_case (int n_before)
 {
-  assert (n_before >= 1 && n_before <= n_lag);
+  assert (n_before >= 1 );
+  assert (n_before <= n_lag);
+
   if (n_before <= lag_count)
     {
       int index = lag_head - n_before;