fixed file name typo

CARA-ch · Jan 22, 2024 · 1faca4d · 1faca4d
1 parent 6485902
commit 1faca4d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...h/instance/use-case-thomas/utc_8_pmlc.fsh → ...h/instance/use-case-thomas/uct_8_pmlc.fsh b/...h/instance/use-case-thomas/utc_8_pmlc.fsh → ...h/instance/use-case-thomas/uct_8_pmlc.fsh