Fix bugs for DOUBLE_PRECISION = 1#1218

danpovey merged 1 commit intokaldi-asr:masterkaldi-asr/kaldi:masterfrom

kangshiyin:double-precisionkangshiyin/kaldi:double-precisionCopy head branch name to clipboard