Paths of #include files

This commit is contained in:
Simon Brooke 2021-09-12 15:02:27 +01:00
parent 2c96e7c30d
commit 2b8f31d2ce
No known key found for this signature in database
GPG key ID: A7A4F18D1D4DF987
21 changed files with 141 additions and 138 deletions

View file

@ -11,7 +11,7 @@
#include "arith/peano.h"
#include "authorise.h"
#include "debug.h"
#include "intern.h"
#include "ops/intern.h"
#include "io/print.h"
#include "memory/conspage.h"
#include "memory/consspaceobject.h"