Fix is_rec_assign bug in simpleChecker.ml
#43
+1
−1
is_rec_assign bug in simpleChecker.ml
#43