diff --git a/synthDC/wallySynth.py b/synthDC/wallySynth.py
index 73bb5869..831ffca2 100755
--- a/synthDC/wallySynth.py
+++ b/synthDC/wallySynth.py
@@ -56,7 +56,7 @@ if __name__ == '__main__':
         defaultfreq = 500 if tech == 'sky90' else 1500
         freq = args.targetfreq if args.targetfreq else defaultfreq
         config = args.version if args.version else 'rv64gc'
-        for mod in ['noFPU', 'noMulDiv', 'noPriv', 'PMP0', 'orig']: 
+        for mod in ['noFPU', 'noMulDiv', 'noPriv', 'PMP0']: 
             runSynth(config, mod, tech, freq, maxopt, usesram)
     else:
         defaultfreq = 500 if tech == 'sky90' else 1500