diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-05-15 17:23:46 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-05-15 17:23:46 +0200 |
| commit | 3cb105fdfeb68f5868f4eff58c5f320bf2cdce59 (patch) | |
| tree | e34a41598f1f644f747680c8b8cf1fd89b85fbed /src | |
| parent | 9a7c314bea5ba24577e983a9f87feaf5b380bc0f (diff) | |
| download | smtcoq-3cb105fdfeb68f5868f4eff58c5f320bf2cdce59.tar.gz smtcoq-3cb105fdfeb68f5868f4eff58c5f320bf2cdce59.zip | |
Typo
Diffstat (limited to 'src')
| -rw-r--r-- | src/trace/smtAtom.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/trace/smtAtom.ml b/src/trace/smtAtom.ml index a794def..b1762dc 100644 --- a/src/trace/smtAtom.ml +++ b/src/trace/smtAtom.ml @@ -821,7 +821,6 @@ module Atom = let tparams = Op.i_type_args op in Aapp(op, Array.mapi (fun i -> check_one tparams.(i)) args) in - close_out outc; a |