From a1a913e626c98b892ae225e0e146f331136f4c59 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 6 Nov 2020 06:15:34 -0800
Subject: [PATCH] [sledge] Improve name of convert function symbols

Summary: Just to make the source and destination types of the conversion more clear.

Reviewed By: da319

Differential Revision: D24746239

fbshipit-source-id: 592c7d0f1
---
 sledge/src/llair_to_Fol.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/src/llair_to_Fol.ml b/sledge/src/llair_to_Fol.ml
index ba91b2f73..48493a7a9 100644
--- a/sledge/src/llair_to_Fol.ml
+++ b/sledge/src/llair_to_Fol.ml
@@ -88,7 +88,7 @@ and term : Llair.Exp.t -> T.t =
       else uap1 (Unsigned bits) a
   | Ap1 (Convert {src}, dst, e) ->
       let s =
-        Format.asprintf "convert_%a_%a" Llair.Typ.pp src Llair.Typ.pp dst
+        Format.asprintf "convert_%a_of_%a" Llair.Typ.pp dst Llair.Typ.pp src
       in
       uap1 (Funsym.uninterp s) (term e)
   | Ap2 (Eq, _, d, e) -> ap_ttf F.eq d e