8dce09c Fix underlinking with libnormaliz.

Authored and Committed by jjames 4 years ago
    Fix underlinking with libnormaliz.
    
        
file modified
+1 -1