diff options
Diffstat (limited to 'win32/Makefile')
-rw-r--r-- | win32/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/Makefile b/win32/Makefile index c4c41d8202..d9be141092 100644 --- a/win32/Makefile +++ b/win32/Makefile @@ -590,6 +590,7 @@ MICROCORE_SRC = \ ..\gv.c \ ..\hv.c \ ..\locale.c \ + ..\mathoms.c \ ..\mg.c \ ..\numeric.c \ ..\op.c \ |