Proof SINGLE_PRECEISION_SUBROUTINES (#657)

This commit is contained in:
GannonTdW 2020-02-26 21:31:27 +01:00 committed by GitHub
parent e9439020d2
commit cc7f13adc9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -64,6 +64,6 @@ POLLEY EXTEND
TC Q TC Q
ARG90 INDEX A ARG90 INDEX A
CS LIMITS CS LIMITS
TC Q # RESULT SCALED AT 1. TC Q # RESULT SCALED AT 1