Skip to content

Commit

Permalink
Improve code quality
Browse files Browse the repository at this point in the history
  • Loading branch information
jazullo committed Oct 11, 2023
1 parent 3500b60 commit 10fda37
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion gibbon-compiler/src/Gibbon/L1/GenSML.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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 -> _
Expand Down

0 comments on commit 10fda37

Please sign in to comment.