Revert redundant order by

tamasvajk · tamasvajk · commit c02a743835a9 · 2021-09-03T16:51:32.000+02:00
diff --git a/csharp/ql/src/Stubs/Stubs.qll b/csharp/ql/src/Stubs/Stubs.qll
@@ -122,8 +122,7 @@ abstract private class GeneratedType extends Type, GeneratedElement {
   private string stubComment() {
     result =
       "// Generated from `" + this.getQualifiedName() + "` in `" +
-        concat(Location l | l = this.getALocation() | l.toString(), "; " order by l.toString()) +
-        "`\n"
+        concat(this.getALocation().toString(), "; ") + "`\n"
   }
 
   /** Gets the entire C# stub code for this type. */

Original file line number	Diff line number	Diff line change
`@@ -122,8 +122,7 @@ abstract private class GeneratedType extends Type, GeneratedElement {`
`122`	`122`	`private string stubComment() {`
`123`	`123`	`result =`
`124`	`124`	"// Generated from `" + this.getQualifiedName() + "` in `" +
`125`		`- concat(Location l \| l = this.getALocation() \| l.toString(), "; " order by l.toString()) +`
`126`		- "`\n"
	`125`	+ concat(this.getALocation().toString(), "; ") + "`\n"
`127`	`126`	`}`
`128`	`127`
`129`	`128`	`/** Gets the entire C# stub code for this type. */`