Re: [Seed7-users] Templates issue

[Thomas M. <tho...@gm...>]

Hi Simon,

There is a bug in the Seed7 installer seed7_05_20240630_win.exe.
It fails to recognize a 64-bit Windows.
It always thinks that the computer is 32-bit:

    POINTER_SIZE: 32

This problem is solved with the new Seed7 installer for Windows:

    https://sourceforge.net/projects/seed7/files/bin/seed7_05_20240812_win.exe/download

You probably just need to use the new installer.
Using the GitHub version of Seed7 is currently not necessary.

Best regards
Thomas