fix default_dtype option getters
Failed
Frederik Hennig
created pipeline for commit
fc55949d
, finished
Related merge request !172 to merge fhennig/pystencils2.0-compat
15 minutes 49 seconds, queued for 1 seconds