File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -1237,7 +1237,7 @@ function analyzer(data, sidePass) {
1237
1237
if ( phi . intertype == 'phi' ) {
1238
1238
for ( var i = 0 ; i < phi . params . length ; i ++ ) {
1239
1239
phi . params [ i ] . label = func . labelIds [ phi . params [ i ] . label ] ;
1240
- if ( ! phi . params [ i ] . label ) warn ( 'phi refers to nonexistent label on line ' + phi . lineNum ) ;
1240
+ if ( VERBOSE && ! phi . params [ i ] . label ) warn ( 'phi refers to nonexistent label on line ' + phi . lineNum ) ;
1241
1241
}
1242
1242
}
1243
1243
} ) ;
@@ -1316,7 +1316,7 @@ function analyzer(data, sidePass) {
1316
1316
if ( phi . intertype == 'phi' ) {
1317
1317
for ( var i = 0 ; i < phi . params . length ; i ++ ) {
1318
1318
var param = phi . params [ i ] ;
1319
- if ( ! param . label ) warn ( 'phi refers to nonexistent label on line ' + phi . lineNum ) ;
1319
+ if ( VERBOSE && ! param . label ) warn ( 'phi refers to nonexistent label on line ' + phi . lineNum ) ;
1320
1320
var sourceLabelId = getActualLabelId ( param . label ) ;
1321
1321
if ( sourceLabelId ) {
1322
1322
var sourceLabel = func . labelsDict [ sourceLabelId ] ;
You can’t perform that action at this time.
0 commit comments