From 10fda3797e3348ba6fdb553a0679cb0160b63c03 Mon Sep 17 00:00:00 2001 From: jazullo Date: Wed, 11 Oct 2023 15:36:35 +0000 Subject: [PATCH] Improve code quality --- gibbon-compiler/src/Gibbon/L1/GenSML.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gibbon-compiler/src/Gibbon/L1/GenSML.hs b/gibbon-compiler/src/Gibbon/L1/GenSML.hs index fd2f78d4e..1c06a7e5d 100644 --- a/gibbon-compiler/src/Gibbon/L1/GenSML.hs +++ b/gibbon-compiler/src/Gibbon/L1/GenSML.hs @@ -391,7 +391,7 @@ printerTy1 ty1 d = case ty1 of where ppSub (i, x) = hsep [ "val _ =" - , printerTy1 x ("x__" <> int i) + , printerTy1 x $ "x__" <> int i , "val _ = print \" \"" ] SymDictTy _m_var _ut -> _