revert commit d8425bb767

1990/theorem/Makefile

@@ -41,8 +41,7 @@ include ../../var.mk
 CSILENCE= -Wno-deprecated-declarations -Wno-empty-body -Wno-error -Wno-unused-value \
 	-Wno-implicit-function-declaration -Wno-incompatible-pointer-types \
 	-Wno-macro-redefined -Wno-parentheses -Wno-return-type -Wno-unused-parameter \
-	-Wno-empty-translation-unit -Wno-deprecated-non-prototype -Wno-int-conversion \
-	-Wno-strict-prototypes
+	-Wno-empty-translation-unit
 
 # Common C compiler warning flags
 #
@@ -90,7 +89,7 @@ ifeq ($(CC),clang)
 CSILENCE+= -Wno-comma -Wno-double-promotion -Wno-float-conversion \
 	-Wno-missing-prototypes -Wno-missing-variable-declarations \
 	-Wno-poison-system-directories -Wno-shadow -Wno-strict-prototypes \
-	-Wno-unreachable-code -Wno-unused-macros -Wno-implicit-float-conversion
+	-Wno-unreachable-code -Wno-unused-macros
 #
 CWARN+= -Weverything
 #