From ad0dd6a2808789d0eda3665d5f565f0988db2c77 Mon Sep 17 00:00:00 2001
From: Kevin Laeufer
Date: Wed, 3 Aug 2022 12:05:36 -0400
Subject: smt: make SMTExprMap object public (#2534)

The simple functionality is needed in chiseltest.---
 src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala
index c991941f..8e035186 100644
--- a/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala
+++ b/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala
@@ -2,7 +2,9 @@
 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu>
 package firrtl.backends.experimental.smt
 
-private object SMTExprMap {
+object SMTExprMap {
+
+  /** maps f over subexpressions of expr and returns expr with the results replaced */
   def mapExpr(expr: SMTExpr, f: SMTExpr => SMTExpr): SMTExpr = {
     val bv = (b: BVExpr) => f(b).asInstanceOf[BVExpr]
     val ar = (a: ArrayExpr) => f(a).asInstanceOf[ArrayExpr]
-- 
cgit v1.2.3