diff --git a/4-Infrastructure/shim/route_repair_v14a.py b/4-Infrastructure/shim/route_repair_v14a.py
index 417c21e7..901d1fab 100644
--- a/4-Infrastructure/shim/route_repair_v14a.py
+++ b/4-Infrastructure/shim/route_repair_v14a.py
@@ -5,7 +5,7 @@ Projects theorem structure onto a 16D modifier, chooses a local proof chart (4D)
 and generates 3D-ranked patch candidates. Focused on zero-bucket repair.
 """
 
-import json, os, re, subprocess, sys
+import json, os, re, sys
 from collections import Counter, defaultdict
 from pathlib import Path