Rename a couple of example scripts away from doubleProg name

This name is "taken" (particularly on case-insensitive file systems) by basis/DoubleProg.
CakeML · Sep 12, 2022 · c6c9b17 · c6c9b17
1 parent 1afd9c2
commit c6c9b17
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/doubleProgScript.sml → examples/doubleArgProgScript.sml b/examples/doubleProgScript.sml → examples/doubleArgProgScript.sml
@@ -5,7 +5,7 @@ open preamble semanticPrimitivesTheory
      ml_translatorTheory ml_translatorLib ml_progLib cfLib basisFunctionsLib
      basisProgTheory
 
-val _ = new_theory "doubleProg";
+val _ = new_theory "doubleArgProg";
 
 val _ = translation_extends "basisProg";
 

diff --git a/...tor/monadic/examples/doubleProgScript.sml → .../monadic/examples/doubleArgProgScript.sml b/...tor/monadic/examples/doubleProgScript.sml → .../monadic/examples/doubleArgProgScript.sml
@@ -5,7 +5,7 @@
 
 open preamble ml_monad_translator_interfaceLib
 
-val _ = new_theory "doubleProg"
+val _ = new_theory "doubleArgProg"
 
 val _ = patternMatchesLib.ENABLE_PMATCH_CASES();