diff options
Diffstat (limited to 'src/Specific/Framework/ReificationTypesPackage.v')
| -rw-r--r-- | src/Specific/Framework/ReificationTypesPackage.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/Framework/ReificationTypesPackage.v b/src/Specific/Framework/ReificationTypesPackage.v index 2a5e8e85b..f0703b4ac 100644 --- a/src/Specific/Framework/ReificationTypesPackage.v +++ b/src/Specific/Framework/ReificationTypesPackage.v @@ -126,7 +126,7 @@ Ltac add_ReificationTypes_package pkg := let pkg := add_feBW_bounded pkg in let pkg := add_phiW pkg in let pkg := add_phiBW pkg in - Tag.strip_local pkg. + Tag.strip_subst_local pkg. Module MakeReificationTypesPackage (PKG : PrePackage). |