From 6dccd54def1a9f7e12d303dab5890983f242c67b Mon Sep 17 00:00:00 2001 From: "Guillermo J. Rozas" Date: Mon, 6 Apr 1987 12:50:19 +0000 Subject: [PATCH] Change in lookup because of vax compiler bug, and fix of poetential bug in bignums. --- v7/src/microcode/version.h | 4 ++-- v8/src/microcode/version.h | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/v7/src/microcode/version.h b/v7/src/microcode/version.h index 7d400c0e1..2f7a61984 100644 --- a/v7/src/microcode/version.h +++ b/v7/src/microcode/version.h @@ -30,7 +30,7 @@ Technology nor of any adaptation thereof in any advertising, promotional, or sales literature without prior written consent from MIT in each case. */ -/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/Attic/version.h,v 9.35 1987/04/03 00:23:01 jinx Exp $ +/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/Attic/version.h,v 9.36 1987/04/06 12:50:19 jinx Exp $ This file contains version information for the microcode. */ @@ -46,7 +46,7 @@ This file contains version information for the microcode. */ #define VERSION 9 #endif #ifndef SUBVERSION -#define SUBVERSION 35 +#define SUBVERSION 36 #endif #ifndef UCODE_TABLES_FILENAME diff --git a/v8/src/microcode/version.h b/v8/src/microcode/version.h index 23104dda5..9c8402273 100644 --- a/v8/src/microcode/version.h +++ b/v8/src/microcode/version.h @@ -30,7 +30,7 @@ Technology nor of any adaptation thereof in any advertising, promotional, or sales literature without prior written consent from MIT in each case. */ -/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/version.h,v 9.35 1987/04/03 00:23:01 jinx Exp $ +/* $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/version.h,v 9.36 1987/04/06 12:50:19 jinx Exp $ This file contains version information for the microcode. */ @@ -46,7 +46,7 @@ This file contains version information for the microcode. */ #define VERSION 9 #endif #ifndef SUBVERSION -#define SUBVERSION 35 +#define SUBVERSION 36 #endif #ifndef UCODE_TABLES_FILENAME -- 2.25.1