ditg
ditg copied to clipboard
Fix errors encountered when running `make`
OS version: Ubuntu 22.04.2 LTS make: GNU Make 4.3 g++: 11.4.0
This PR fixes the errors that came up while running make
in /src, presumably due to newer version of C++.