Commit ad26bd81 authored by Martin Bauer's avatar Martin Bauer
Browse files

Merge branch 'random_symbol' into 'master'

Actually increment counter inside random_symbol

See merge request pycodegen/pystencils!49
parents 745be03a b09ba860
Pipeline #17804 passed with stage
in 2 minutes and 57 seconds