Merge pull request #2281 from zachjs/const-real
authorclairexen <claire@symbioticeda.com>
Tue, 18 Aug 2020 15:22:20 +0000 (17:22 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Aug 2020 15:22:20 +0000 (17:22 +0200)
Allow reals as constant function parameters

1  2 
frontends/ast/simplify.cc

Simple merge