Fix comment

Halbaroth · Jul 26, 2023 · 848d157 · 848d157
1 parent fab882d
commit 848d157
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/lib/structures/modelMap.ml b/src/lib/structures/modelMap.ml
@@ -91,7 +91,8 @@ let is_suspicious_name hs =
   | "@/" | "@%" | "@*" -> true
   | _ -> false
 
-(* The model generation is not ready for FPA and Bitvector theories. *)
+(* The model generation is known to be imcomplete for FPA and Bitvector
+   theories. *)
 let is_suspicious_symbol = function
   | Sy.Op (Float | Fixed | Abs_int | Abs_real | Sqrt_real
           | Sqrt_real_default | Sqrt_real_excess