From 395bdaaddad0d6250d19634f5c4d38886d160878 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sat, 19 Jan 2019 12:33:15 +0000
Subject: Inline the timeout function

---
 src/VeriFuzz/Simulator/General.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/VeriFuzz/Simulator/General.hs b/src/VeriFuzz/Simulator/General.hs
index a024029..3615d3a 100644
--- a/src/VeriFuzz/Simulator/General.hs
+++ b/src/VeriFuzz/Simulator/General.hs
@@ -40,9 +40,11 @@ class (Simulator a) => Synthesize a where
 
 timeout :: FilePath -> [Text] -> Sh Text
 timeout = command1 "timeout" ["180"] . toTextIgnore
+{-# INLINE timeout #-}
 
 timeout_ :: FilePath -> [Text] -> Sh ()
 timeout_ = command1_ "timeout" ["180"] . toTextIgnore
+{-# INLINE timeout_ #-}
 
 -- | Helper function to convert bytestrings to integers
 bsToI :: ByteString -> Integer
-- 
cgit