diff options
Diffstat (limited to 'src/Specific/Framework/ArithmeticSynthesis/KaratsubaPackage.v')
| -rw-r--r-- | src/Specific/Framework/ArithmeticSynthesis/KaratsubaPackage.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/Framework/ArithmeticSynthesis/KaratsubaPackage.v b/src/Specific/Framework/ArithmeticSynthesis/KaratsubaPackage.v index a0d2d3528..264effeb1 100644 --- a/src/Specific/Framework/ArithmeticSynthesis/KaratsubaPackage.v +++ b/src/Specific/Framework/ArithmeticSynthesis/KaratsubaPackage.v @@ -37,7 +37,7 @@ Ltac add_square_sig pkg := Ltac add_Karatsuba_package pkg := let pkg := add_mul_sig pkg in let pkg := add_square_sig pkg in - Tag.strip_local pkg. + Tag.strip_subst_local pkg. Module MakeKaratsubaPackage (PKG : PrePackage). |