# HG changeset patch
# User mroi
# Date 1048852600 0
# Node ID 15e239caef8f08d62f3f59233938268aede87576
# Parent  5897ff629f7c2dfa395286c56f1408430b33c066
title/part jumping does not need a valid vtsi

diff -r 5897ff629f7c -r 15e239caef8f navigation.c
--- a/navigation.c	Thu Mar 27 15:12:26 2003 +0000
+++ b/navigation.c	Fri Mar 28 11:56:40 2003 +0000
@@ -138,7 +138,7 @@
   }
   
   pthread_mutex_lock(&this->vm_lock);
-  if (!this->vm->vtsi || !this->vm->vmgi) {
+  if (!this->vm->vmgi) {
     printerr("Bad VM state.");
     pthread_mutex_unlock(&this->vm_lock);
     return S_ERR;