diff --git a/randmu.py b/randmu.py
index 77a115fff2c4147b2c14512372455757fa88349a..0179c5a3ebe217f56d279394c74d06f6fbd3e9e1 100755
--- a/randmu.py
+++ b/randmu.py
@@ -538,7 +538,7 @@ def main(args):
         os.makedirs(os.path.join(args.destdir, 'mlsolver'))
 
     elif args.logic == 'CTL':
-        connectives = [And, And, Or, Or, Box, Diamond, AF, AG, EF, EG, AU, AR, EU, ER]
+        connectives = [And, And, Or, Or, Box, Diamond, AF, AG, EF, EG, AU, EU]
         os.makedirs(os.path.join(args.destdir, 'ctl'))
 
     elif args.logic == 'ATL':