Fix abstract override member generation

tamasvajk · tamasvajk · commit ff4db5b8d27c · 2021-06-23T09:26:53.000+02:00
diff --git a/csharp/ql/src/Stubs/Stubs.qll b/csharp/ql/src/Stubs/Stubs.qll
@@ -307,7 +307,10 @@ private string stubOverride(Member m) {
     then result = "virtual "
     else
       if m.(Virtualizable).isAbstract()
-      then result = "abstract "
+      then
+        if m.(Virtualizable).isOverride()
+        then result = "abstract override "
+        else result = "abstract "
       else
         if m.(Virtualizable).isOverride()
         then result = "override "
