From a30fa47b4272f8c79948b741f7c388dad53c8eea Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Wed, 28 May 2014 16:45:46 +0200 Subject: RETAB, CLEANUP --- abstract/_domain.ml | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 abstract/_domain.ml (limited to 'abstract/_domain.ml') diff --git a/abstract/_domain.ml b/abstract/_domain.ml deleted file mode 100644 index 643a6ec..0000000 --- a/abstract/_domain.ml +++ /dev/null @@ -1,14 +0,0 @@ -open Abstract_syntax_tree - -module type S = - sig - type tv - type ts - - val top_ts : ts - - val interp_abs : stat -> ts -> ts - - end - - -- cgit v1.2.3