X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=b20f8a24414ad7887483cc5bd0da636c55f31ba3;hb=b996647adb40b2b51f888c8e755d5f5f2c15cb37;hp=d69e661d74422f0960aedf698c76b745a10a01eb;hpb=bc963dae9be291ea0a7cccf189d13e00d3797cfd;p=pspp

diff --git a/src/main.c b/src/main.c
index d69e661d74..b20f8a2441 100644
--- a/src/main.c
+++ b/src/main.c
@@ -71,7 +71,6 @@ main (int argc, char **argv)
     msg (FE, _("Error initializing output drivers."));
 
   lex_init ();
-  cmd_init ();
 
   /* Execution. */
   parse_script ();