From 36f107d7f011a64a1e29def5752759985c0d617a Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 8 Apr 2002 00:31:06 +0000
Subject: new option (-t/--time)

---
 mixutils/mixvm.c | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/mixutils/mixvm.c b/mixutils/mixvm.c
index 4cb589f..f4a5b99 100644
--- a/mixutils/mixvm.c
+++ b/mixutils/mixvm.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mixvm.c :
  * Main function for mixvm, the mix vm simulator
  * ------------------------------------------------------------------
- *  $Id: mixvm.c,v 1.7 2002/03/20 01:30:11 jao Exp $
+ *  $Id: mixvm.c,v 1.8 2002/04/08 00:31:06 jao Exp $
  * ------------------------------------------------------------------
  * Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc.
  *  
@@ -36,12 +36,7 @@
 #  include <lib/getopt.h>
 #endif /* HAVE_GETOPT_LONG */
 
-extern void
-mix_vmloop (int argc, char *argv[], gboolean initfile,
-	    const gchar *code_file, gboolean use_emacs);
-
-extern void
-mix_vmrun (const gchar *code_file, gboolean dump, gboolean ptime);
+#include "mixvm_loop.h"
 
 enum {
   VER_OPT = 'v',
-- 
cgit v1.2.3