From windley@cheetah.ucdavis.edu@munnari.cs.mu.oz Wed Mar  8 19:27:12 1989
To: info-hol@clover.ucdavis.edu
Subject: Bug report: making hol88 on vaxen
Date: Tue, 07 Mar 89 11:57:23 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@munnari.oz>
Status: RO

I had a problem when making hol88 on our Vax 8600.  I got an error message
which said "ml-draft_mode expected zero arguments, got one: (nil)."  I
solved the problem by making the following change.   Line 142 of F-thyfns.l
in the lisp directory now reads:

 (dml |draft_mode| 1 |ml-draft_mode| (|void| |->| |bool|))

Changing it to

 (dml |draft_mode| 0 |ml-draft_mode| (|void| |->| |bool|))

solved the problem and then everything worked fine and I made HOL88
successfully.

--phil--









