L'output è corretto. Se non dichiari la funzione virtual, il compilatore semplicemente la esclude dalla vtable di funzioni della classe base che deve richiamare a runtime. Nel tuo caso, le due funzioni stampa di A e B sono a tutti gli effetti due funzioni distinte che il programma richiama senza preoccuparsi di leggere la vtable della classe base.