X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcommand.c;h=b12e46d0dfb9c7d815e7164b537b68832f8789f0;hb=f9d47b5bba8416419cf3bcd3aa23c2d40a05fcac;hp=b386317a2c1052f07617f51f48ef022328b73339;hpb=6ad392174e035d6e0823fd7894a0488acf274b97;p=pspp-builds.git

diff --git a/src/command.c b/src/command.c
index b386317a..b12e46d0 100644
--- a/src/command.c
+++ b/src/command.c
@@ -201,7 +201,8 @@ cmd_parse (void)
 
   /* If we're in a FILE TYPE structure, only certain commands can be
      allowed. */
-  if (pgm_state == STATE_INPUT && vfm_source == &file_type_source
+  if (pgm_state == STATE_INPUT
+      && case_source_is_class (vfm_source, &file_type_source_class)
       && !FILE_TYPE_okay (cp))
     return CMD_FAILURE;