usesLibrary test now passes

dafny-lang · Sep 11, 2023 · e6a4a50 · e6a4a50
1 parent 3146dc2
commit e6a4a50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyCore/Options/DafnyProject.cs b/Source/DafnyCore/Options/DafnyProject.cs
@@ -160,7 +160,7 @@ public class DafnyProject : IEquatable<DafnyProject> {
  var projectDirectory = Path.GetDirectoryName(Uri.LocalPath);
 
  if (value is TomlArray array) {
- if (valueType.ValueType == typeof(IEnumerable<FileInfo>)) {
+ if (valueType.ValueType.IsAssignableTo(typeof(IEnumerable<FileInfo>))) {
  return string.Join(" ", array.Select(element => {
  if (element is string elementString) {
  return Path.GetFullPath(elementString, projectDirectory!);