diff options
| -rw-r--r-- | src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v b/src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v index 5c6b4faec..6b666c435 100644 --- a/src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v +++ b/src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v @@ -9,6 +9,7 @@ Module Compilers. Module pattern. Module ident. Set Boolean Equality Schemes. + Set Decidable Equality Schemes. (* Set Printing Coercions. Redirect "/tmp/pr" Print Compilers.ident.ident. @@ -706,6 +707,7 @@ Module Compilers. Module pattern. Module ident. Set Boolean Equality Schemes. + Set Decidable Equality Schemes. (""" + """* Set Printing Coercions. Redirect "/tmp/pr" Print Compilers.ident.ident. |