ProofPlayer: fix possible warning about clobbered variable
ProofPlayer: fix possible warning about clobbered variable

karies/root,sbinet/cxx-root,sawenzel/root,sbinet/cxx-root,omazapa/root,krafczyk/root,krafczyk/root,karies/root,zzxuanyuan/root,beniz/root,dfunke/root,BerserkerTroll/root,lgiommi/root,omazapa/root-old,Y--/root,buuck/root,dfunke/root,sbinet/cxx-root,beniz/root,root-mirror/root,buuck/root,gganis/root,bbockelm/root,nilqed/root,esakellari/my_root_for_test,simonpf/root,Y--/root,esakellari/my_root_for_test,jrtomps/root,omazapa/root-old,root-mirror/root,sbinet/cxx-root,perovic/root,olifre/root,sbinet/cxx-root,evgeny-boger/root,bbockelm/root,simonpf/root,perovic/root,sirinath/root,evgeny-boger/root,gbitzes/root,esakellari/my_root_for_test,omazapa/root,omazapa/root-old,georgtroska/root,lgiommi/root,davidlt/root,abhinavmoudgil95/root,arch1tect0r/root,arch1tect0r/root,satyarth934/root,CristinaCristescu/root,gganis/root,satyarth934/root,zzxuanyuan/root-compressor-dummy,jrtomps/root,zzxuanyuan/root,dfunke/root,mhuwiler/rootauto,mattkretz/root,bbockelm/root,sawenzel/root,dfunke/root,olifre/root,davidlt/root,veprbl/root,zzxuanyuan/root-compressor-dummy,sbinet/cxx-root,veprbl/root,omazapa/root,bbockelm/root,gganis/root,Duraznos/root,karies/root,Duraznos/root,arch1tect0r/root,zzxuanyuan/root-compressor-dummy,nilqed/root,perovic/root,davidlt/root,sirinath/root,sbinet/cxx-root,buuck/root,agarciamontoro/root,perovic/root,Y--/root,sirinath/root,zzxuanyuan/root-compressor-dummy,mattkretz/root,CristinaCristescu/root,veprbl/root,satyarth934/root,simonpf/root,omazapa/root,esakellari/my_root_for_test,buuck/root,jrtomps/root,davidlt/root,perovic/root,esakellari/my_root_for_test,gbitzes/root,abhinavmoudgil95/root,krafczyk/root,karies/root,olifre/root,root-mirror/root,perovic/root,sawenzel/root,mhuwiler/rootauto,perovic/root,georgtroska/root,dfunke/root,davidlt/root,buuck/root,thomaskeck/root,abhinavmoudgil95/root,simonpf/root,jrtomps/root,jrtomps/root,mhuwiler/rootauto,vukasinmilosevic/root,omazapa/root-old,lgiommi/root,davidlt/root,arch1tect0r/root,pspe/root,gbitzes/root,gbitzes/root,simonpf/root,omazapa/root,root-mirror/root,BerserkerTroll/root,satyarth934/root,esakellari/my_root_for_test,thomaskeck/root,veprbl/root,agarciamontoro/root,satyarth934/root,arch1tect0r/root,krafczyk/root,mhuwiler/rootauto,satyarth934/root,root-mirror/root,sirinath/root,krafczyk/root,bbockelm/root,olifre/root,evgeny-boger/root,lgiommi/root,BerserkerTroll/root,mhuwiler/rootauto,omazapa/root-old,georgtroska/root,zzxuanyuan/root,krafczyk/root,agarciamontoro/root,abhinavmoudgil95/root,nilqed/root,gbitzes/root,abhinavmoudgil95/root,abhinavmoudgil95/root,zzxuanyuan/root-compressor-dummy,beniz/root,sirinath/root,root-mirror/root,omazapa/root-old,olifre/root,nilqed/root,georgtroska/root,thomaskeck/root,karies/root,beniz/root,veprbl/root,root-mirror/root,gganis/root,gganis/root,Duraznos/root,buuck/root,dfunke/root,omazapa/root-old,krafczyk/root,satyarth934/root,omazapa/root-old,veprbl/root,agarciamontoro/root,arch1tect0r/root,dfunke/root,thomaskeck/root,pspe/root,mhuwiler/rootauto,lgiommi/root,Duraznos/root,vukasinmilosevic/root,beniz/root,vukasinmilosevic/root,esakellari/my_root_for_test,omazapa/root,gbitzes/root,agarciamontoro/root,sirinath/root,evgeny-boger/root,mattkretz/root,sirinath/root,mkret2/root,zzxuanyuan/root,sbinet/cxx-root,satyarth934/root,Duraznos/root,mattkretz/root,zzxuanyuan/root-compressor-dummy,evgeny-boger/root,BerserkerTroll/root,zzxuanyuan/root,agarciamontoro/root,karies/root,thomaskeck/root,bbockelm/root,mattkretz/root,mhuwiler/rootauto,sirinath/root,veprbl/root,zzxuanyuan/root,buuck/root,omazapa/root,lgiommi/root,zzxuanyuan/root-compressor-dummy,zzxuanyuan/root-compressor-dummy,beniz/root,BerserkerTroll/root,arch1tect0r/root,evgeny-boger/root,root-mirror/root,BerserkerTroll/root,simonpf/root,CristinaCristescu/root,sirinath/root,evgeny-boger/root,thomaskeck/root,satyarth934/root,nilqed/root,mhuwiler/rootauto,Y--/root,Duraznos/root,CristinaCristescu/root,lgiommi/root,root-mirror/root,evgeny-boger/root,georgtroska/root,pspe/root,krafczyk/root,CristinaCristescu/root,lgiommi/root,thomaskeck/root,abhinavmoudgil95/root,veprbl/root,gganis/root,simonpf/root,agarciamontoro/root,mkret2/root,perovic/root,pspe/root,sbinet/cxx-root,omazapa/root,omazapa/root-old,gganis/root,Duraznos/root,evgeny-boger/root,gbitzes/root,CristinaCristescu/root,CristinaCristescu/root,abhinavmoudgil95/root,jrtomps/root,Y--/root,mattkretz/root,esakellari/root,bbockelm/root,pspe/root,buuck/root,zzxuanyuan/root,mhuwiler/rootauto,arch1tect0r/root,gbitzes/root,zzxuanyuan/root,sawenzel/root,sawenzel/root,pspe/root,pspe/root,CristinaCristescu/root,bbockelm/root,gbitzes/root,mkret2/root,zzxuanyuan/root-compressor-dummy,olifre/root,thomaskeck/root,vukasinmilosevic/root,mhuwiler/rootauto,evgeny-boger/root,Y--/root,satyarth934/root,abhinavmoudgil95/root,Y--/root,dfunke/root,perovic/root,karies/root,gbitzes/root,olifre/root,BerserkerTroll/root,beniz/root,olifre/root,thomaskeck/root,pspe/root,lgiommi/root,davidlt/root,sawenzel/root,sawenzel/root,mkret2/root,gbitzes/root,olifre/root,sawenzel/root,vukasinmilosevic/root,georgtroska/root,esakellari/my_root_for_test,Y--/root,perovic/root,omazapa/root-old,georgtroska/root,dfunke/root,perovic/root,mkret2/root,karies/root,bbockelm/root,pspe/root,omazapa/root,gganis/root,dfunke/root,jrtomps/root,gganis/root,root-mirror/root,esakellari/root,zzxuanyuan/root-compressor-dummy,gganis/root,nilqed/root,Duraznos/root,davidlt/root,esakellari/root,CristinaCristescu/root,olifre/root,simonpf/root,buuck/root,olifre/root,georgtroska/root,mattkretz/root,simonpf/root,simonpf/root,CristinaCristescu/root,thomaskeck/root,jrtomps/root,zzxuanyuan/root,mattkretz/root,esakellari/root,jrtomps/root,bbockelm/root,Y--/root,esakellari/my_root_for_test,veprbl/root,georgtroska/root,buuck/root,sawenzel/root,Y--/root,beniz/root,nilqed/root,nilqed/root,vukasinmilosevic/root,mkret2/root,nilqed/root,karies/root,karies/root,mhuwiler/rootauto,esakellari/root,mattkretz/root,bbockelm/root,nilqed/root,mkret2/root,esakellari/root,esakellari/root,omazapa/root,veprbl/root,sirinath/root,Duraznos/root,agarciamontoro/root,dfunke/root,gganis/root,BerserkerTroll/root,georgtroska/root,sawenzel/root,simonpf/root,arch1tect0r/root,zzxuanyuan/root,sbinet/cxx-root,zzxuanyuan/root-compressor-dummy,abhinavmoudgil95/root,jrtomps/root,krafczyk/root,zzxuanyuan/root,nilqed/root,davidlt/root,krafczyk/root,omazapa/root,evgeny-boger/root,mkret2/root,beniz/root,omazapa/root-old,esakellari/root,veprbl/root,arch1tect0r/root,beniz/root,agarciamontoro/root,Y--/root,CristinaCristescu/root,agarciamontoro/root,sirinath/root,BerserkerTroll/root,beniz/root,vukasinmilosevic/root,arch1tect0r/root,agarciamontoro/root,mkret2/root,vukasinmilosevic/root,BerserkerTroll/root,jrtomps/root,esakellari/my_root_for_test,lgiommi/root,karies/root,vukasinmilosevic/root,mkret2/root,krafczyk/root,esakellari/root,Duraznos/root,root-mirror/root,sawenzel/root,BerserkerTroll/root,georgtroska/root,esakellari/root,sbinet/cxx-root,davidlt/root,davidlt/root,lgiommi/root,zzxuanyuan/root,mkret2/root,mattkretz/root,satyarth934/root,esakellari/root,abhinavmoudgil95/root,pspe/root,buuck/root,mattkretz/root,Duraznos/root,vukasinmilosevic/root,vukasinmilosevic/root,pspe/root