diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-05-27 21:19:36 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-05-27 21:19:36 +0000 |
| commit | 6ac90a806f563981bc25fe06bb0dde35d62da7a9 (patch) | |
| tree | cbf5f3b1d4877cd6a7469356cfabbea5242d1d8f /src/expr/mkexpr | |
| parent | 671a3d6d5ae8a89a1bb846a78f5ec9c064edc655 (diff) | |
Remove isAtomic() as per 4/27/2010 meeting. Add comments about its potential design for later. Resolves bug 113, invalidates bugs 93 and 94.
Diffstat (limited to 'src/expr/mkexpr')
| -rwxr-xr-x | src/expr/mkexpr | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/expr/mkexpr b/src/expr/mkexpr index f59388def..35a245a84 100755 --- a/src/expr/mkexpr +++ b/src/expr/mkexpr @@ -104,14 +104,6 @@ function operator { check_theory_seen } -function nonatomic_operator { - # nonatomic_operator K #children ["comment"] - - lineno=${BASH_LINENO[0]} - - check_theory_seen -} - function parameterized { # parameterized K #children ["comment"] |