Rename module Math to Dafny.Math

The old Math module conflicts with the Java and C# module. This change moved the Math module out of the top-level namespace.
dafny-lang · Oct 10, 2023 · 8143845 · 8143845
1 parent 8b0c399
commit 8143845
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/Collections/Sequences/Seq.dfy b/src/Collections/Sequences/Seq.dfy
@@ -23,7 +23,7 @@ module {:options "-functionSyntax:4"} Seq {
   import opened Wrappers
   import opened MergeSort
   import opened Relations
-  import Math
+  import Dafny.Math
 
   /**********************************************************
    *

diff --git a/src/JSON/Serializer.dfy b/src/JSON/Serializer.dfy
@@ -20,7 +20,7 @@ include "Spec.dfy"
 
 module {:options "-functionSyntax:4"} JSON.Serializer {
   import Seq
-  import Math
+  import Dafny.Math
   import opened Wrappers
   import opened BoundedInts
   import opened Utils.Str

diff --git a/src/Math.dfy b/src/Math.dfy
@@ -5,7 +5,7 @@
  *  SPDX-License-Identifier: MIT 
  *******************************************************************************/
 
-module {:options "-functionSyntax:4"} Math {
+module {:options "-functionSyntax:4"} Dafny.Math {
   function Min(a: int, b: int): int
   {
     if a < b