diff --git a/recursion/bitml-test.maude b/recursion/bitml-test.maude
index ed5b2da..33aed58 100644
--- a/recursion/bitml-test.maude
+++ b/recursion/bitml-test.maude
@@ -51,3 +51,5 @@ reduce in LIQUIDITY-CHECK : modelCheck(Contr4 , <> contract-free) .           **
 
 
 ***search Contr3  =>* G:Configuration .
+
+quit .
\ No newline at end of file
diff --git a/recursion/coin-flipping-game.maude b/recursion/coin-flipping-game.maude
index b8818e8..49056fa 100644
--- a/recursion/coin-flipping-game.maude
+++ b/recursion/coin-flipping-game.maude
@@ -30,3 +30,5 @@ smod LIQUIDITY-CHECK is
 endsm
 
 reduce in LIQUIDITY-CHECK : modelCheck(Cconf , <> contract-free) .           *** true
+
+quit .
\ No newline at end of file