Skip to content

Commit ec73b67

Browse files
sipmasipma
committed
CHC: fix warnings, add documentation, reformat
1 parent be1899c commit ec73b67

29 files changed

+3270
-2409
lines changed

‎CodeHawk/CH/chutil/cHFileIO.ml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,6 @@
2828
============================================================================= *)
2929

3030
(* chlib *)
31-
open CHCommon
3231
open CHPretty
3332

3433
(* chutil *)

‎CodeHawk/CHC/cchanalyze/cCHExpTranslator.ml‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,6 @@ open CHLanguage
3333
open CHNumerical
3434
open CHPretty
3535

36-
(* chutil *)
37-
open CHLogger
38-
3936
(* xprlib *)
4037
open Xprt
4138
open XprTypes

0 commit comments

Comments
 (0)