summaryrefslogtreecommitdiffhomepage
path: root/ir/adt
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2016-06-27 09:08:27 +0200
committerMatthias Braun <matze@braunis.de>2016-06-27 09:17:15 +0200
commit6da802e4298dd31571fcbf102ca9eef5f5054493 (patch)
tree00e34018e6f528c24afcfa10d21e87ed941e81ff /ir/adt
parent62988a9a1b73df8ecb88b449a3e2b61fb4c67f9a (diff)
Rename pdeq_new.h => pdeq.h
Diffstat (limited to 'ir/adt')
-rw-r--r--ir/adt/pdeq.h (renamed from ir/adt/pdeq_new.h)0
1 files changed, 0 insertions, 0 deletions
diff --git a/ir/adt/pdeq_new.h b/ir/adt/pdeq.h
index 4e051dc..4e051dc 100644
--- a/ir/adt/pdeq_new.h
+++ b/ir/adt/pdeq.h