format

stefan-aws · stefan-aws · commit 5184c4b4549f · 2024-02-16T18:47:21.000Z
diff --git a/src/Util/FisherYates/Implementation.dfy b/src/Util/FisherYates/Implementation.dfy
@@ -53,6 +53,6 @@ module FisherYates.Implementation {
         print "\n";
       }
     }
-    
+
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,6 @@ module FisherYates.Implementation {`
`53`	`53`	`print "\n";`
`54`	`54`	`}`
`55`	`55`	`}`
`56`		`-`
	`56`	`+`
`57`	`57`	`}`
`58`	`58`	`}`