-
Bernhard Schommer authored
Added types for global_definitions in order to avoid problems with implicit parameters. This should fix issue 215
2b598161
Added types for global_definitions in order to avoid problems with implicit parameters. This should fix issue 215