configure: remove wokwi suffix from filename
diff --git a/configure.py b/configure.py
index 6b63250..17575a6 100755
--- a/configure.py
+++ b/configure.py
@@ -57,7 +57,7 @@
logging.warning("couldn't download {}".format(url))
exit(1)
- filename = "user_module_{}.v".format(wokwi_id)
+ filename = "user_module.v"
with open(os.path.join('verilog/rtl', filename), 'wb') as fh:
fh.write(r.content)
diff --git a/verilog/rtl/user_module_334445762078310996.v b/verilog/rtl/user_module.v
similarity index 100%
rename from verilog/rtl/user_module_334445762078310996.v
rename to verilog/rtl/user_module.v
