From b86557832eecddc2075e156c0ccddaa6b935fe00 Mon Sep 17 00:00:00 2001 From: Nicolas Setton Date: Mon, 23 Jul 2018 01:26:36 -0400 Subject: [PATCH] Restrict the use of Pragma Interface --- compile_server/app/checker.py | 1 + 1 file changed, 1 insertion(+) diff --git a/compile_server/app/checker.py b/compile_server/app/checker.py index cadb4d3..90a470f 100644 --- a/compile_server/app/checker.py +++ b/compile_server/app/checker.py @@ -31,6 +31,7 @@ RECEIVED_FILE_CHAR_LIMIT = 50 * 1000 COMMON_ADC = """ pragma Restrictions (No_Specification_of_Aspect => Import); pragma Restrictions (No_Use_Of_Pragma => Import); +pragma Restrictions (No_Use_Of_Pragma => Interface); pragma Restrictions (No_Dependence => System.Machine_Code); pragma Restrictions (No_Dependence => Machine_Code); """