-
Alexandre Duret-Lutz authored
This fixes c9aabcdd. * spot/ltsmin/ltsmin.cc: Update the extension after compiling the model. Do not duplicate the symbol lookups for DVE and gal2C. Also, improve error reporting in case of missing symbol. * tests/ltsmin/check.test: Remove stray character.
dc4a4771