Python API: Remove duplicate import. (cvc5#10008)

ajreynol · Sep 11, 2023 · af4b8a9 · af4b8a9
1 parent 809d781
commit af4b8a9
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd
@@ -2,7 +2,6 @@
 from cython.operator cimport dereference as deref, preincrement as inc
 from libc.stdint cimport int32_t, int64_t, uint32_t, uint64_t
 from libc.stddef cimport wchar_t
-from libcpp.map cimport map as c_map
 from libcpp.set cimport set
 from libcpp.string cimport string
 from libcpp.vector cimport vector
@@ -453,7 +452,7 @@ cdef extern from "<cvc5/cvc5.h>" namespace "cvc5":
         bint isString() except +
         string getString() except +
         bint isHistogram() except +
-        c_map[string,uint64_t] getHistogram() except +
+        map[string,uint64_t] getHistogram() except +
 
     cdef cppclass Statistics:
         Statistics() except +