Remove superfluous whitespace.

Author: Eelis

source/basic.tex

@@ -3773,7 +3773,7 @@
 
 \pnum
 \indextext{type!standard~signed~integer}%
-There are five \defnx{standard signed integer types}{standard~signed~integer~type} :
+There are five \defnx{standard signed integer types}{standard~signed~integer~type}:
 \indextext{type!\idxcode{signed char}}%
 \indextext{type!\idxcode{short}}%
 \indextext{type!\idxcode{int}}%