Format

src/ast.rs

@@ -836,12 +836,10 @@ impl<'a> From<TheoryDefinition<'a>> for Statement<'a> {
 pub struct Id<'a> {
     ast: AST<'a>,
 }
-
 #[derive(Debug, Clone)]
 pub struct Variable<'a> {
     ast: AST<'a>,
 }
-
 impl<'a> Variable<'a> {
     pub fn to_string(&self) -> Result<String, ClingoError> {
         self.ast.to_string()

src/ast_internals.rs

@@ -742,11 +742,7 @@ impl<'a> AST<'a> {
     ///
     /// might set one of the following error codes:
     /// - ::clingo_error_runtime
-    fn set_attribute_ast(
-        &self,
-        attribute: ASTAttribute,
-        value: AST,
-    ) -> Result<(), ClingoError> {
+    fn set_attribute_ast(&self, attribute: ASTAttribute, value: AST) -> Result<(), ClingoError> {
         if !unsafe {
             clingo_ast_attribute_set_ast(self.ptr.as_ptr(), attribute as i32, value.ptr.as_ptr())
         } {

tests/integration_test.rs

@@ -268,7 +268,7 @@ fn ast_literal() {
     let gt = ComparisonOperator::GreaterThan;
     let guard = guard(gt, term2).unwrap();
     assert_eq!(guard.to_string().unwrap(), " > \"test\"");
-    
+
     let guards = [guard];
     let comp = comparison(term3, &guards).unwrap();
     assert_eq!(comp.to_string().unwrap(), "fun1(42,\"test\") > \"test\"");