795be5d fix build when haddock disabled

Authored and Committed by petersen 5 years ago
    fix build when haddock disabled
    
        
file modified
+4 -0