chore: explicit imports

IntersectMBO · May 8, 2024 · 12c36e0 · 12c36e0
1 parent e56e3ad
commit 12c36e0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/plutus-core/plutus-core/test/Names/Spec.hs b/plutus-core/plutus-core/test/Names/Spec.hs
@@ -177,6 +177,10 @@ test_rebindCapturedVariable = testCase "rebindCapturedVariable" do
 
   [typeL1, typeL2] @?= [typeR1, typeR2]
 
+prop_printing_parsing_roundtrip :: TestTree
+prop_printing_parsing_roundtrip = testCase "Print-parse roundtrip" do
+  tripping
+
 test_names :: TestTree
 test_names =
   testGroup
@@ -191,4 +195,5 @@ test_names =
     , test_alphaEquality
     , test_rebindShadowedVariable
     , test_rebindCapturedVariable
+    , prop_printing_parsing_roundtrip
     ]