summaryrefslogtreecommitdiffhomepage
path: root/ir/ir
diff options
context:
space:
mode:
authorChristoph Mallon <christoph.mallon@gmx.de>2016-09-06 23:55:46 +0200
committerChristoph Mallon <christoph.mallon@gmx.de>2016-09-07 16:37:52 +0200
commitc0b019fdf1198072e7af738b48d6f8ac48c9cebf (patch)
tree198acedadd75b635a7596b5b11e4cc3f3ec6c499 /ir/ir
parent4b1727e426ca4e22425aef03f5365ca069094a5d (diff)
Remove the flag 'closed_world', wich has no effect.
Diffstat (limited to 'ir/ir')
-rw-r--r--ir/ir/irflag_t.def3
1 files changed, 0 insertions, 3 deletions
diff --git a/ir/ir/irflag_t.def b/ir/ir/irflag_t.def
index ef0430a..f4bb9ed 100644
--- a/ir/ir/irflag_t.def
+++ b/ir/ir/irflag_t.def
@@ -29,6 +29,3 @@ FLAG(algebraic_simplification , 4, ON)
/** Use Global Null Pointer Test elimination. */
FLAG(global_null_ptr_elimination , 5, ON)
-
-/** Closed world assumption. */
-FLAG(closed_world , 12, OFF)