ci: fix typo

formal-land · Oct 21, 2024 · 2142597 · 2142597
1 parent ba1b48c
commit 2142597
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/CoqOfSolidity/contracts/scl/mulmuladdX_fullgen_b4/run.v b/coq/CoqOfSolidity/contracts/scl/mulmuladdX_fullgen_b4/run.v
@@ -1,8 +1,8 @@
 Require Import CoqOfSolidity.CoqOfSolidity.
 Require Import CoqOfSolidity.proofs.CoqOfSolidity.
 Require Import CoqOfSolidity.simulations.CoqOfSolidity.
-Require Import CoqOfSolidity.contracts.scl.mulmuladdX_fullgen_b4.contract_shallow.
 Require Import CoqOfSolidity.contracts.scl.mulmuladdX_fullgen_b4.curve.
+Require Import CoqOfSolidity.contracts.scl.mulmuladdX_fullgen_b4.shallow.
 Import Stdlib.
 Import RunO.