My computer changed from 64 bit to 32 bit?
Added (1). I have a Lenovo G580 and here are the specs:
The other day I went to the shop because I needed my laptop repaired (It wouldn't go past the lenovo screen after I powered the computer on) . Surprisingly the one time I turned it on there, it worked but I decided to let them repair it anyway. When I got it back, it had windows 7 professional instead of my previous windows 8.1 and it changed from 64 bit to 32 bit. They formatted my computer. What caused the 32bit change?