diff options
Diffstat (limited to 'src/theory/mktheoryof')
| -rwxr-xr-x | src/theory/mktheoryof | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/theory/mktheoryof b/src/theory/mktheoryof index 842e02a07..227831451 100755 --- a/src/theory/mktheoryof +++ b/src/theory/mktheoryof @@ -84,14 +84,6 @@ function operator { do_theoryof "$1" } -function nonatomic_operator { - # nonatomic_operator K #children ["comment"] - - lineno=${BASH_LINENO[0]} - - do_theoryof "$1" -} - function parameterized { # parameterized K #children ["comment"] |