trim descriptions of traits

pi-base · Sep 24, 2024 · 367aa82 · 367aa82
1 parent 3eefb29
commit 367aa82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/compile/src/validations.ts b/packages/compile/src/validations.ts
@@ -246,7 +246,7 @@ export function trait(input: File) {
  value: Boolean(value),
  counterexamples_id,
  refs,
- description,
+ description: String(description).trim(),
  })
 
  if (!input.path.endsWith(paths.trait({ space, property }))) {