From af4b8a91d461ff6c8d62ce5094275cca1109959f Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 11 Sep 2023 12:13:37 -0700
Subject: [PATCH] Python API: Remove duplicate import. (#10008)

---
 src/api/python/cvc5.pxd | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd
index 88cf498218a..02f7b8f1a80 100644
--- 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 +