diff options
Diffstat (limited to 'src/api/python/cvc4.pxi')
-rw-r--r-- | src/api/python/cvc4.pxi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/api/python/cvc4.pxi b/src/api/python/cvc4.pxi index 60bd89cbd..1489b34a6 100644 --- a/src/api/python/cvc4.pxi +++ b/src/api/python/cvc4.pxi @@ -191,11 +191,6 @@ cdef class Op: def getKind(self): return kind(<int> self.cop.getKind()) - def getSort(self): - cdef Sort sort = Sort() - sort.csort = self.cop.getSort() - return sort - def isNull(self): return self.cop.isNull() |