From 9054794296fca2837941f64c0b956a2ce39e56d9 Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Wed, 2 Nov 2022 21:52:07 +0800
Subject: [PATCH] wording

---
 IN_PROG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/IN_PROG.md b/IN_PROG.md
index 49363927..29fcce52 100644
--- a/IN_PROG.md
+++ b/IN_PROG.md
@@ -212,5 +212,5 @@ We manually wrote the C++/Rust bindings for RocksDB with [cxx](https://cxx.rs/).
 
 ## Licensing
 
-The contents of this project are licensed under AGPL-3.0 or later, with the exception
-of files under `cozorocks/`, which are licensed under MIT, or Apache-2.0, or BSD-3-Clause.
+The contents of this project are licensed under AGPL-3.0 or later, except 
+files under `cozorocks/` and `cozo-lib-c/`, which are licensed under MIT, or Apache-2.0, or BSD-3-Clause.