From 0e0dd6ee036c333cd3026917e696cf37996af341 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Mon, 13 May 2019 15:28:21 +0100
Subject: Add NonEmpty to tests

---
 src/VeriFuzz/Sim/Identity.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/VeriFuzz/Sim/Identity.hs')

diff --git a/src/VeriFuzz/Sim/Identity.hs b/src/VeriFuzz/Sim/Identity.hs
index 1b88032..bfded0b 100644
--- a/src/VeriFuzz/Sim/Identity.hs
+++ b/src/VeriFuzz/Sim/Identity.hs
@@ -45,8 +45,7 @@ instance NFData Identity where
     rnf = rwhnf
 
 runSynthIdentity :: Identity -> SourceInfo -> ResultSh ()
-runSynthIdentity (Identity _ out) src =
-    writefile out $ genSource src
+runSynthIdentity (Identity _ out) = writefile out . genSource
 
 defaultIdentity :: Identity
 defaultIdentity = Identity "identity" "syn_identity.v"
-- 
cgit