diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-28 16:45:46 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-28 16:45:46 +0200 |
| commit | a30fa47b4272f8c79948b741f7c388dad53c8eea (patch) | |
| tree | e979e7362637ae8d1d44857b29fbd62ce99316e7 /abstract/_domain.ml | |
| parent | 77df0b0f119fc70624e4b830320a2b3e1034f7b5 (diff) | |
| download | SemVerif-Projet-a30fa47b4272f8c79948b741f7c388dad53c8eea.tar.gz SemVerif-Projet-a30fa47b4272f8c79948b741f7c388dad53c8eea.zip | |
RETAB, CLEANUP
Diffstat (limited to 'abstract/_domain.ml')
| -rw-r--r-- | abstract/_domain.ml | 14 |
1 files changed, 0 insertions, 14 deletions
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 - - |