ac control module

I have a 2012 Genesis 3.8 Sedan, recently the AC stopped working. I started investigating what the issue was, I checked the Freon level and it was good. I found that the wire going to the compressor had been rubbing the serpentine belt. It was cut and shorted. I repaired the wire. The AC...